logical equivalences