# README

Scenario cases use Given / When / Then and assert observable behavior, proof, and termination.