1CM57 (2019-JAAR) Proof techniques for IE