my weekend, at a glance.

friday: i've an idea for a lemma.

saturday: the idea fails.

sunday: i realise that i'm proving too much; the lemma is "if and only if" and i just need the "only if" part (which is separate from friday's idea). proof done, cut and dried!