The resolution to formalize ethics is most commonly met with ridicule, as a puerile attempt of a jejune student who imaginably was recently exposed to the possibilities of first order logic. It is only too simple to giggle about proving whether it was right that John kissed Mary. But what exactly is the comical aspect of the fervent youth attempting to assign moral values to any variety of actions, and why can he not use first order logic for precisely this purpose? What exactly characterises ethics so that ethics may escape formalization?