attempt to document when flat contracts are predicates