Adam Zerner comments on What does “lattice of abstraction” mean?