The unless conditional requires boolean state variable.

[proofit404]

This is implicit state contract.

If in a story composition c1s1 sets b1v1 which will be used in the conditional, we should check boolean type at the moment of assignment.