Is Second Channel With Proof Analysis