Fixed predicate methods section