Equation Icon  2 3 s1s3 = s3s1 ↔ (s1s3) = 1, (s2s3) = 1. (3.8 )