<keyword>symmetry</keyword>
<keyword>simplify</keyword>
<keyword>split</keyword>
<keyword>to</keyword>
<keyword>transitivity</keyword>
<keyword>symmetry</keyword>
<keyword>simplify</keyword>
<keyword>split</keyword>
<keyword>to</keyword>
<keyword>transitivity</keyword>