結果 : non deterministic system example