結果 : formal declaration example