The logical song
Davies, R. D.