More IL1/2/3 proofs