Validity debugging