Title: Structural Induction on Partial Algebras, II