Formalizing Abstraction | pierre Belizaire