Presenting stratification failure as the explanation conflates the proof-theoretic reason for unprov...