Example 1: "when,then" and "expect"