basics of logical reasoning - Search