Levels Of Abstraction In Math