"Relates a condition statement to the statement in the \"then\" branch" . . . . "has then" .