write the first test predicate