basic definition of logic - Search