>>669
well-definedじゃいけないんですか?