Structural induction on partial algebras | lit.salon