LBA_Proof_3x