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