p
W
W
F
F


q
W
F
W
F


p ⌵ q
W
W
W
F


q
W
F
W
F
q
||
(p ⌵ q) ∙ q
W
F
W
F
(p ⌵ q)
||
(p ⌵ q) ⌵ q
W
W
W
F