Implemented xCycles rule 3.