You are here

the logic of predicates.