The first steps in the construction of an ordering system, as in the paper "Cofinal families of finite VC-dimension" (image courtesy of Johanna Steinmeyer)