The development of efficient algorithms is as much an art as it is a science.
Pure mathematics is, in its way, the poetry of logical ideas.