Theory States

Argument 1: This function a call should be checked to ensure that it does not come from an source without first verifying that it contains nothing dangerous.