結果 : simple logical framework example