Waging Mental Battle with a Proof - I know how that feels, at least from the point of view of a programming problem (via /.)