Viliam comments on A Hierarchy of Abstraction