made WrappedNegation package private for GitHub ticket #8