Before revision: Proof box Abbreviations: IndscId : ∀x,y.
After revision: Proof box Abbreviations: IndscID : ∀x,y.