poetry and logic