More IL2 proofs