I could but I don't understand what should I comment except that "not a" != "~a" for boolean type. It is C++ intrinsics.