A convenience class for passing around a state and it's contract
The contract that should verify the state
A state