O
orthogonality_of_self-distributivity
Loading