example of logical reasoning - Search