Randomized: Lovasz local lemma,

and started work on math91r plan for the meeting tomorrow.