On Thu, Nov 20, 2008 at 7:35 PM, Christopher Wright <dhasenan at gmail.com> wrote: > [1] It's a bit of a stretch to grant them this name, but if life gives you > lemmas, make lemma-ade. > OhhhhhhhhhhhHHHHHHHHHHHHHHHHHHHHHH I think my head just exploded.