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