Re: [math-fun] It would take five Ramanujans to impeach Trump