You can only find truth with logic if you have already found truth without it. (Gilbert Keith Chesterton)

A mathematician is a device for turning coffee into theorems. (Paul Erdos)

You can avoid reality, but you cannot avoid the consequences of avoiding reality. (Ayn Rand)