Structural Induction on Partial Algebras, II | lit.salon