program logic model examples - Search