A Java library intended to make logical negation easily