predicate defaults are put onto isntances