Improvements to validity explanations.