Added predicates to eval