(([a]p0) \/ ([b]p1)) -> (<b>p0) \/ (<a>p1)
