Describir: Conflict detection with invalid inferences: All heuristics, no logic.