Scenario-B (@verify_b)