3 types of logical reasoning - Search