broken ProvingEquivalencies