Enhancing de morgan's laws for orthogonal complements.