Stav dette: GPS: a case study in generality and problem solving