評価順序によって、出力が一意に定まらないなら、評価順序も入力の組の一部と考えてはならない
って解釈でいいのかな？