"[I]n order to study anything logically, we have to ignore all the pesky details that prevent it from behaving logically, and... move into the idealized world... rather than the real world of things... [T]his... is what... abstraction... is..."