predicates valmis