Report Quote #2311

// proving some USAMO problem Jason: AHHH Mufasa: INFINITE DESCENT!!! Jason: INFINITE DESCENT!!! Mufasa: INFINITE DESCENT!!!