standard logical equivalences