u
v
s
t
A
notA
B
notB
s+u
t+v
s+t
u+v
s+t+u+v