The solution of logical problems must be neat for they set the standard of neatness.

Tractatus Logico-Philosophicus