Formalizing Abstraction | Richard Lourie