Shmi comments on A Thorough Introduction to Abstraction