Edit File: predicate.t