Medical Device Proofs