A || A == A