Adam Chlipala, Impredicative LLC