Viliam comments on The ladder of abstraction and giving examples