So, for any of you who may happen to be wondering about the precise shape of a crocodile, here is a handy proof (courtesy of a CS 221 study session a few years ago) for showing that these amazing creatures are indeed longer than they are wide:

1. Crocodiles are greener than they are wide, since they are green along their length and width, but only wide in one direction.


2. They are longer than they are green, since they are long from the top and from the bottom, but only green on the top.


3. Therefore, by transitivity of inequality, crocodiles are longer than they are wide.
   (width < greenness < length => width < length)

Q.E.D.