p=>b
b~>f
b~>w
p~>!f