Dans de nombreux cas, si une méthode virtuelle est dotée d'un LinkDemand, toute substitution de ce dernier devrait également ...

Dans de nombreux cas, si une méthode virtuelle est dotée d'un LinkDemand, toute substitution de ce dernier devrait également en être dotée ; de même, si une substitution contient un LinkDemand, tel doit être le cas aussi de la méthode virtuelle substituée. Puisqu'il est possible d'appeler explicitement n'importe quelle substitution d'une méthode virtuelle, toutes les substitutions doivent afficher le même état ou, sinon, être vérifiées. Ce paramètre vaut également pour les vérifications de sécurité LinkDemand des méthodes intervenant dans l'implémentation d'une interface puisque l'appelant peut utiliser une référence typée interface pour accéder à la méthode.