Please Enter The Proof Type Description