Characteristic predicate NewInstance :: NewInstance
NewInstance
(
)