The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
Rigor in proof is what separates mathematics from all other sciences.
The hardest thing to explain is the glaringly evident which everybody had decided not to see.
To write is to explore the unknown territories of the mind.