jefallbright comments on A Hierarchy of Abstraction