Laws for boolean algebra.