F v0 == G v1  : #1
v0   == v1    : #2
v1   == H v0  : #3
A    == B     : #4