logic model of a program - Search