Reasoning about theory adequacy: a new solution to the qualification problem