con "a" ∈ Z.