> 
> Show by natural deduction,
> 
> 
> $$(x \vee y) \vdash ((x \wedge z) \vee (z \implies y))$$
> 
> 
> 

I have tried using $$(z \implies y)$$ as my assumption, but that didn't work out too well.

Where can I go?