Deal with coherence conditions for conditional equation functors.