2011-04-06 16:10:43+00:00 well, I have literally nothing else to do; time to type up those corollaries, then