Proof of IMILT: capitalizing "with"