Declarative and procedural strategies in problem solving: Evidence from the toads and frogs puzzle.