PROS1 and pulmonary embolism: Protein S deficiency caused by mutations in the PROS1 gene is the genetic basis for this patient's pulmonary embolism.