VeeNoLBL_Proof_LBL