Removed now unused predicate