mathematical operations in reasoning - Search