1. For each of the following, construct a derivation of the conclusion from the premises:
∃x(∼Wx → Px) / ∃x(Wx ∨ Px)