diff --git a/Documentation/BranchesChannelsAndSubscriptions.md b/Documentation/BranchesChannelsAndSubscriptions.md
index a8dcabfeca0..202cdd75bc9 100644
--- a/Documentation/BranchesChannelsAndSubscriptions.md
+++ b/Documentation/BranchesChannelsAndSubscriptions.md
@@ -51,6 +51,7 @@ Subscriptions have the following characteristics:
 
 - They have a desired quality metric for when the mapping should be applied (e.g. should tests have passed?)
 - They have a trigger for when the mapping should be applied.
+- They may optionally include a list of GitHub logins (users who must be a public member of the Microsoft organization) or team aliases (for notification to work, this team must exist in the target repository's organization).  When included in a non-batched subscription, failed policies for the pull requests produced will tag these users. As such, these users should be teams or users who represent subject-matter experts for the source repository of the subscription.
 
 A subscription can be visualized with the following pseudocode
 
@@ -84,6 +85,9 @@ A subscription can be visualized with the following pseudocode
         if (subscription.isDesiredQuality(repo)) {
             mergeChanges()
         }
+        else if (subscription.hasFailureNotificationTags and subscription.isNotBatched) {
+            tagTheseUsersOnDependencyFlowPullRequest()
+        }
     }
 ```