Richard FingerRichard FingerWebster HallNew York, NY11:00 PMSat, Nov 21Richard Finger65.2KrSUN12.5KIntegrate7.6KD!lemma4.6K