[Fsfe-ie] Re: Proofs of cd