Forget the predicate in requires.