Forgot to inverse Predicate