結果 : how to check that a function is well defined