Given two Mcaly sequential circuits, let M₁ have four states A, B, C, D and M₂ have four states S, T, U, V. Assume the implication table (or pair chart) for the state pairs between M₁ and M₂ is as follows (where an entry with a cross sign indicates the output difference for the corresponding state pair between M₁ and M₂, and the expression "Y-Z* in a (W.X)-entry indicates that the next-state pair (Y, 2) must be equivalent in order for the corresponding current-state pair (W,X) to be equivalent).