Make design choices and watch your system's formal shape grow. Each decision adds states, transitions, or invariants.