結果 : formal system specification