Team:UMaryland/Proof