Representing heuristic knowledge in the DS theory.