BDA ARCHITECTURE - BELVEDERE PROOFS