This page has moved to https://drmaciver.com/notebook/2022/06/abstraction-and-concretization/.