Assumptions modeled as provable assignments for an operator:
Contingencies explict part of the Redux model.