SupplementalMaterial AMissingProofs