fixed Or inversion -- changed Or(left.invert, right) -> Or(left.invert, right.invert). also cleaned up some trash comments.