Formalizing Abstraction | Aviv Hirsch