internal
model
predicate
