https://hirohumysup.sheepshedgalleryandtearoom.com/structural-induction-on-partial-algebras-book-10823sb.php