labmau lujvo

z1 is/are whiter than z2 by amount z4.

Mentioned in ยง4.6 (cll 1.1).