_x p(x) _ q(x), p(a)
q(a)
derives
The derivation is a formal, syntactical procedure, which
is indipendent from the meaning!