Don't try to prove properties with (==) and (/=)