Hi, I have a question (natural deduction),

and the question says :

construct a natural deduction proof, where y is not free in A. What does it mean by 'where y is not free in A'?

This question shall not use algebraic laws. Just introduction and elimination rules.

Thank you.