Here's a derivation of my Lo three-base {Syl, Simp, CCCpqqCCCpqCqpp} from the standard four-base {Syl, Simp, Inversion, Linearity}: 1. CCpqCCqrCpr                         [Syl]               2. CpCqp                                          [Simp]               3. CCCpqqCCqpp                             [Inversion]               4. CCCpqCqpCqp                             [Linearity] D1.3 = 5. CCCCpqqrCCCqppr D1.4 = 6. CCCpqrCCCqpCpqr D5.6 = 7. CCCpqqCCCpqCqpp          [The new formula] And here's a derivation of Inversion and Linearity from the new three-base:                    1. CCpqCCqrCpr                          [Syl]                    2. CpCqp                                         [Simp]                    3. CCCpqqCCCpqCqpp             [The new formula] D1.1    =   4. CCCCpqCrqsCCrps D1.2    =   5. CCCpqrCqr D1.3    =   6. CCCCCpqCqpprCCCpqqr D4.4    =   7. CCpCqrCCsqCpCsr D5.3    =   8. CpCCCqpCpqq D6.2    =   9. CCCpqqCrCCCpqCqpp D6.5    = 10. CCCpqqCCqpp                    [Inversion] D7.8    =  11. CCpCCqrCrqCrCpq D5.9    =  12. CpCqCCCrpCprr D11.12 = 13. CCCpqCqpCqp                    [Linearity] CCCpqCqpCCCpqqp works as well, but the going is somewhat heavier. © Dolph Ulrich, 2007