結果 : program logic model explained