For the first$-$order formula $)))))=((((y)))=((((y,$ choose ALL that apply.

a$.$ This is a tautology

b$.$ There are four occurrences of $z,$ the first two are bound, and the last two are free

c$.$ This is an axiom of predicate logic

d$.$ An abstraction is $(pq)$