BDA - LARS PROOFS