abstract vs concrete reasoning - Search