...garantit que toute variable est déclarée au moins une fois.

...est vérifié à l'exécution du programme.

...garantit que toute variable est déclareé au plus une fois.

...est nécessaire au typage statique.