gigahurt comments on A Hierarchy of Abstraction