9eB1 comments on The ladder of abstraction and giving examples