True and False predicate (true?,false?) added