Formalizing Abstraction | Ethan Donaldson