Formalizing Abstraction | Ella Giesser