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