need to check logical equivalence

Printable View