Megan BP Proofs - andreasbernauer