Not

constructor(predicate: ClaimPredicate)