結果 : how to determine if a function is well defined