PROS1 and pulmonary embolism: The pulmonary embolism in Case 1 could have been triggered by a previously known protein S deficiency.