v0 == F A  : #1
v1 == F B  : #2
v2 == F A  : #3
v0 == v1   : #4
v1 == v2   : #5
v0 == v2   : #6
