# A simple example
xA*= xB
xB*= xA
xC*= xA or not xD
xD*= xC
xE*= xB and xF
xF*= xE
