Here's a derivation of my L
alepho 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