A good abstraction is one that emphasizes the essential and suppresses the irrelevant.
What can be shown, cannot be said.