Notice that, in the ambiguous form ☐( xGx xHx), if one or both of the descriptions have 'primary occurrences' the formula does not assert the necessity of xGx xHx; if both have secondary occurrences, it does.