Function Theory in an Axiom-Free Equation Calculus - Ontify