Making logic feel like poetry.