結果 : non deterministic model example