g --> h

~h v k
g
k --> w

Prove: W