From Total Equational to Partial Conditional (Chapter 3)