BRAMA BUILD PROOFS