Mathematics is the poetry of logical ideas.