Used in iRevert, iClear, iFrame, and for generalizing the IH in iInduction and iLöb.
Attach a file by drag & drop or click to upload