“The solution of logical problems must be simple for they set the standard of simplicity.”