BDA + DB BUILD - LAVARACK PROOFS