gave up halfway through Kedlaya talk