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