結果 : end behavior of a function rules