Adam Zerner comments on What is abstraction?