3This is the only equation necessary for ACU-coherence and the other two would be eliminated.