Added most basic predicates