diff --git a/README.md b/README.md
index dbd6004..b57b088 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,7 @@
 # Harmony
 Harmony is a small tool that helps teams keep GitHub reviews running smoothly. It takes the work out of picking someone from a pool of developers to review a new PR. Harmony does this by heuristically determining who on a particular GitHub Team has the least current/recent review workload.
 
-Harmony offers a heuristic for PR assignments that is different than GitHub's round robin or weighted algorithms, but Harmony can also work well even if your team uses GitHub's automatic PR assignments ([see below](#deferring-to-github)).
+Harmony offers a heuristic for PR review requests that is different than GitHub's round robin or weighted algorithms, but Harmony can also work well even if your team uses GitHub's automatic PR review requests ([see below](#deferring-to-github)).
 
 ## Dependencies
 ### Runtime
@@ -102,21 +102,21 @@ What repository would you like to use harmony for (ENTER for default: myrepo)?
 
 What GitHub remote repo would you like to use harmony for (ENTER for default: origin)?
 
-Would you like harmony to comment when it assigns reviewers? [Y/n] 
-Would you like harmony to assign teams in addition to individuals when it assigns reviewers? [Y/n] 
+Would you like harmony to comment when it requests reviewers? [Y/n] 
+Would you like harmony to request team reviews in addition to individuals when it requests reviewers? [Y/n] 
 Creating config...
 ```
 
-Once configured, Harmony supports the following commands: `config`, `branch`, `pr`, `label`, `assign`, `contribute`, `whoami`, `reflect`, `list`, `graph`, `health`, and `sync`.
+Once configured, Harmony supports the following commands: `config`, `branch`, `pr`, `label`, `request`, `contribute`, `whoami`, `reflect`, `list`, `graph`, `health`, and `sync`.
 
 ### Config
 Running `harmony config <property>` will read the given configuration property. `harmony config <property> <value>` will set the configuration property.
 
 Not all configuration properties can be read/set with this command.
 #### Properties
-- `assignTeams` (`true`/`false`) -- When picking a reviewer from a team, assign the team as a reviewer as well.
-- `assignUsers` (`true`/`false`) -- When assigning a team as a reviewer, pick a user to review as well.
-- `commentOnAssign` (`true`/`false`) -- When assigning a reviewer chosen by Harmony, comment on the pull request.
+- `requestTeams` (`true`/`false`) -- When picking a reviewer from a team, request the team as a reviewer as well.
+- `requestUsers` (`true`/`false`) -- When requesting a team as a reviewer, pick a user to review as well.
+- `commentOnRequest` (`true`/`false`) -- When requesting a reviewer chosen by Harmony, comment on the pull request.
 - `defaultRemote` (optional string) -- When pushing new branches, what remote destination should be used.
 - `githubPAT` (optional string) -- If the `$GITHUB_PAT` environment variable is not set, this Personal Access Token is used to authenticate with GitHub.
 
@@ -139,40 +139,41 @@ Running `harmony label {<label>} [...]` will help you create a PR if one does no
 
 Note that labels are _not_ prefixed with '#' for this command. There is no need to differentiate labels from other kinds of arguments to `harmony label`.
 
-### Assign
-Running `harmony assign {<team> | +<user>} [#<label>] [...]` will help you create a PR if one does not exist yet and then it will assign teams and/or users to the PR.
+### Request
+Running `harmony request {<team> | +<user>} [#<label>] [...]` will help you create a PR if one does not exist yet and then it will request reviews from teams and/or users.
 
-If `harmony config assignUsers` is `True` (defualt) then harmony will pick someone to review the PR (from one of the listed teams) and assign them to the PR. If `harmony config assignTeams` is `True` then harmony will assign the teams you listed as reviewers of the PR. If `harmony config commentOnAssign` is `True` then harmony will comment on the Pull Request indicating that teams & users were "harmoniously assigned" -- this comment will @mention assigned users so it may be useful or annoying depending on the assigned user's GitHub notification settings.
+If `harmony config requestUsers` is `True` (defualt) then harmony will pick someone to review the PR (from one of the listed teams). If `harmony config requestTeams` is `True` (default) then harmony will request reviews from the teams you listed. If `harmony config commentOnRequest` is `True` then harmony will comment on the Pull Request indicating that teams & users were "harmoniously requested" -- this comment will @mention requested users so it may be useful or annoying depending on the requested user's GitHub notification settings.
 
-You can also require that specific additional users (on top of the one Harmony will pick for you) are assigned to the PR. You do this by specifying those users' logins prefixed with '+' as arguments to Harmony.
+You can also require that specific additional users (on top of the one Harmony will pick for you) are requested to review the PR. You do this by specifying those users' logins prefixed with '+' as arguments to Harmony. This will request review from those specific additional users regardless of the `requestUsers` setting; that setting controls whether Harmony picks users from each Team you specify to review PRs.
 
-You can optionally apply any number of labels to the PR at the same time as assigning reviewers by prefixing the labels with '#'.
+You can optionally apply any number of labels to the PR at the same time as requesting reviewers by prefixing the labels with '#'.
 
 #### Deferring to GitHub
-If your team has GitHub set up to auto-assign individuals when a team is requested for review, you probably want to tell harmony not to also pick someone using its heuristics. You can run the following `config` commands to tell harmony to assign a team but not also pick an individual from that team:
+If your team has GitHub set up to auto-request reviews from individuals when a team is requested for review, you probably want to tell harmony not to also pick someone using its heuristics. You can run the following `config` commands to tell harmony to request a team but not also pick an individual from that team:
 ```shell
-harmony config assignTeams true
-harmony config assignUsers false
+harmony config requestTeams true
+harmony config requestUsers false
 ```
+This does not prevent you from requesting specific individuals with the `+<user>` syntax described above.
 
 #### Examples
-Assign the most available reviewer from the "developers" GitHub Team:
+Request review from the most available reviewer from the "developers" GitHub Team:
 ```shell
-harmony assign developers
+harmony request developers
 ```
 
-Assign the most available reviewer from either the "frontend" or "backend" GitHub Team:
+Request review from the most available reviewer from either the "frontend" or "backend" GitHub Team:
 ```shell
-harmony assign frontend backend
+harmony request frontend backend
 ```
 
-Assign the most available reviewer from the "web" team and additionally assign the users with logins "carl001" and "emmaham":
+Request review from the most available reviewer from the "web" team and additionally request review from the users with logins "carl001" and "emmaham":
 ```shell
-harmony assign web +carl001 +emmaham
+harmony request web +carl001 +emmaham
 ```
 
 ### Contribute
-Running `harmony contribute` will print the URI of the oldest non-draft PR waiting for your review. If you are not requested for review on any PRs, Harmony will suggest a PR that you are not assigned to.
+Running `harmony contribute` will print the URI of the oldest non-draft PR waiting for your review. If you are not requested for review on any PRs, Harmony will suggest a PR that your review is not requested on.
 
 You can skip PRs and retrieve the next-oldest one by passing a dash followed by the number to skip (e.g. `-2` to skip the two oldest waiting PRs).
 
@@ -183,7 +184,7 @@ You can simultaneously get the URI for a PR to review and checkout the branch ne
 Many operating systems have an `open` command (though the name "open" is not ubiquitous); this means you can run something like `open $(harmony contribute)` to open a web browser to the PR that Harmony is suggesting.
 
 #### Examples
-Retrieve a URI for the oldest unreviewed and open PR (prioritizing PRs for which you are an assigned reviewer):
+Retrieve a URI for the oldest unreviewed and open PR (prioritizing PRs for which you are a requested reviewer):
 ```shell
 harmony contribute
 ```
diff --git a/default.nix b/default.nix
index a6ce928..c39c341 100644
--- a/default.nix
+++ b/default.nix
@@ -68,7 +68,7 @@
   };
 
   harmonyPkg = buildIdris {
-    version = "3.3.0";
+    version = "4.0.0";
     projectName = "harmony";
     src = ./.;
 
diff --git a/harmony.ipkg b/harmony.ipkg
index 4548c90..63529d7 100644
--- a/harmony.ipkg
+++ b/harmony.ipkg
@@ -1,5 +1,5 @@
 package harmony
-version = 3.3.0
+version = 4.0.0
 authors = "Mathew Polzin"
 license = "MIT"
 brief = "Harmony GitHub collaboration tool"
diff --git a/node-packages.nix b/node-packages.nix
index 775e6f0..d2cfea8 100644
--- a/node-packages.nix
+++ b/node-packages.nix
@@ -598,7 +598,7 @@
   args = {
     name = "_at_mattpolzin_slash_harmony";
     packageName = "@mattpolzin/harmony";
-    version = "3.3.0";
+    version = "4.0.0";
     src = ./.;
     dependencies = [
       sources."@kwsites/file-exists-1.1.1"
diff --git a/package-lock.json b/package-lock.json
index 8769edc..5123476 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "@mattpolzin/harmony",
-  "version": "3.3.0",
+  "version": "4.0.0",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "@mattpolzin/harmony",
-      "version": "3.3.0",
+      "version": "4.0.0",
       "license": "MIT",
       "dependencies": {
         "octokit": "^3.1",
diff --git a/package.json b/package.json
index 62418f8..847acbb 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@mattpolzin/harmony",
-  "version": "3.3.0",
+  "version": "4.0.0",
   "engines" : { 
     "node" : ">=18.0.0"
   },
diff --git a/src/AppVersion.idr b/src/AppVersion.idr
index 8f255a9..a3be0cc 100644
--- a/src/AppVersion.idr
+++ b/src/AppVersion.idr
@@ -4,7 +4,7 @@ module AppVersion
 
 export
 appVersion : String
-appVersion = "3.3.0"
+appVersion = "4.0.0"
 
 export
 printVersion : HasIO io => io ()
diff --git a/src/BashCompletion.idr b/src/BashCompletion.idr
index 6df3eaf..bdd8ae8 100644
--- a/src/BashCompletion.idr
+++ b/src/BashCompletion.idr
@@ -8,7 +8,8 @@ import Data.String
 %default total
 
 allRootCmds : List String
-allRootCmds = [ "assign"
+allRootCmds = [ "request"
+              , "assign" -- TODO 5.0.0: <- remove this alias for the deprecated assign command.
               , "branch"
               , "config"
               , "contribute"
@@ -151,8 +152,8 @@ opts @{config} "pr" partialArg _ =
      then hashify . slugify <$> config.repoLabels
      else []
 
--- finally, assign auto-completes with 
--- either a team slug or '+' followed by a user login:
+-- TODO 5.0.0: remove all of the following that deals with the alias 
+--             for the deprecated assign command.
 opts @{config} "assign" "--" "assign" = "--dry" :: config.teamSlugs
 opts @{config} "assign" "--" _ = config.teamSlugs
 opts @{config} "assign" partialArg _ =
@@ -170,6 +171,25 @@ opts @{config} "assign" partialArg _ =
                then hashify . slugify <$> config.repoLabels
                else config.teamSlugs
 
+-- finally, request auto-completes with 
+-- either a team slug or '+' followed by a user login:
+opts @{config} "request" "--" "request" = "--dry" :: config.teamSlugs
+opts @{config} "request" "--" _ = config.teamSlugs
+opts @{config} "request" partialArg _ =
+  if partialArg `isPrefixOf` "--dry"
+     then ["--dry"]
+     else slugsOrLoginsOrLabels
+  where
+    -- If the word being typed is prefixed with '+' return user logins
+    -- but otherwise return team slugs. 
+    slugsOrLoginsOrLabels : List String
+    slugsOrLoginsOrLabels =
+      if "+" `isPrefixOf` partialArg
+        then (strCons '+') <$> config.orgMembers
+        else if isHashPrefix partialArg
+               then hashify . slugify <$> config.repoLabels
+               else config.teamSlugs
+
 opts @{_} _ _ _ = []
 
 ||| The Bash Completion script calls to harmony with a special --bash-completion
diff --git a/src/Commands.idr b/src/Commands.idr
index dd71bd4..7dfef3d 100644
--- a/src/Commands.idr
+++ b/src/Commands.idr
@@ -127,17 +127,17 @@ pr {isDraft} labelSlugs =
                label labelSlugs
      else reject "The pr command only accepts labels prefixed with '#' and the --draft flag."
 
-||| Assign the given teams & users as reviewers when the user executes
-||| `harmony assign ...`.
+||| Request review from the given teams & users as reviewers when the user executes
+||| `harmony request ...`.
 export
-assign : Config => Git => Octokit => 
-         (assignArgs : List String) 
+request : Config => Git => Octokit => 
+         (requestArgs : List String) 
       -> {default False dry : Bool} 
       -> Promise ()
-assign args {dry} = do
+request args {dry} = do
   let (forcedReviewers, teamNames, labelSlugs) = partitionedArgs
   if (null forcedReviewers && null teamNames)
-     then reject "The assign command expects one or more names of GitHub Teams or Users as arguments."
+     then reject "The request command expects one or more names of GitHub Teams or Users as arguments."
      else do (_, openPr) <- identifyOrCreatePR !currentBranch
              requestReviewers openPr teamNames forcedReviewers {dry}
              when (not (null labelSlugs || dry)) $
diff --git a/src/Config.idr b/src/Config.idr
index b41b2b2..da2333d 100644
--- a/src/Config.idr
+++ b/src/Config.idr
@@ -72,17 +72,17 @@ addIgnoredPRs config is =
 ||| behavior that is likely undesirable.
 checkConfigConsistency : Config -> Either (Doc AnsiStyle) ()
 checkConfigConsistency config = do
-  checkAssignSettings config
+  checkRequestSettings config
   -- other checks...
   where
-    checkAssignSettings : Config -> Either (Doc AnsiStyle) ()
-    checkAssignSettings config =
-      if not (config.assignTeams || config.assignUsers)
+    checkRequestSettings : Config -> Either (Doc AnsiStyle) ()
+    checkRequestSettings config =
+      if not (config.requestTeams || config.requestUsers)
          then Left $ (annotate (color Yellow) . hsep $ [
-                "`assignUsers` and `assignTeams` are both False."
-              , "This means `harmony assign` commands will only ever assign users that are specified with the `+<userlogin>` syntax."
-              , "More commonly, you want Harmony to at least assign either a team or a user from a team when you say `harmony assign teamname`;"
-              , "It's suggested to either `harmony config assignUsers true` or `harmony config assignTeams true` (or both)."
+                "`requestUsers` and `requestTeams` are both False."
+              , "This means `harmony request` commands will only ever request reviews from users that are specified with the `+<userlogin>` syntax."
+              , "More commonly, you want Harmony to at least request review for either a team or a user from a team when you say `harmony request teamname`;"
+              , "It's suggested to either `harmony config requestUsers true` or `harmony config requestTeams true` (or both)."
               ]) <+> hardline
          else Right ()
 
@@ -126,11 +126,14 @@ update : Functor f => (String -> f a) -> (a -> b -> b) -> b -> String -> f b
 update f g c = map (flip g c) . f
 
 propSetter : SettableProp n h -> (Config -> String -> Maybe Config)
-propSetter AssignTeams     = update parseBool (\b => { assignTeams := b })
-propSetter AssignUsers     = update parseBool (\b => { assignUsers := b })
-propSetter CommentOnAssign = update parseBool (\b => { commentOnAssign := b })
-propSetter DefaultRemote   = update Just (\s => { defaultRemote := s })
-propSetter GithubPAT       = update Just (\s => { githubPAT := Just $ hide s })
+propSetter RequestTeams     = update parseBool (\b => { requestTeams := b })
+propSetter RequestUsers     = update parseBool (\b => { requestUsers := b })
+propSetter CommentOnRequest = update parseBool (\b => { commentOnRequest := b })
+propSetter DefaultRemote    = update Just (\s => { defaultRemote := s })
+propSetter GithubPAT        = update Just (\s => { githubPAT := Just $ hide s })
+propSetter AssignTeams      = update parseBool (\b => { requestTeams := b })
+propSetter AssignUsers      = update parseBool (\b => { requestUsers := b })
+propSetter CommentOnAssign  = update parseBool (\b => { commentOnRequest := b })
 
 ||| Attempt to set a property and value given String representations.
 ||| After setting, write the config and return the updated result.
@@ -147,11 +150,14 @@ setConfig @{config} prop value with (settablePropNamed prop)
                           writeConfig config'
 
 propGetter : SettableProp n h -> (Config -> String)
-propGetter AssignTeams     = show . assignTeams
-propGetter AssignUsers     = show . assignUsers
-propGetter CommentOnAssign = show . commentOnAssign
-propGetter DefaultRemote   = show . defaultRemote
-propGetter GithubPAT       = maybe "Not set (will use $GITHUB_PAT environment variable)" show . githubPAT
+propGetter RequestTeams     = show . requestTeams
+propGetter RequestUsers     = show . requestUsers
+propGetter CommentOnRequest = show . commentOnRequest
+propGetter DefaultRemote    = show . defaultRemote
+propGetter GithubPAT        = maybe "Not set (will use $GITHUB_PAT environment variable)" show . githubPAT
+propGetter AssignTeams      = show . requestTeams
+propGetter AssignUsers      = show . requestUsers
+propGetter CommentOnAssign  = show . commentOnRequest
 
 export
 getConfig : Config =>
@@ -215,14 +221,14 @@ createConfig envGithubPAT terminalColors editor = do
   putStrLn "What GitHub remote repo would you like to use harmony for\{remoteDefaultStr}?"
   defaultRemote <- orIfEmpty (Just remoteGuess) . trim <$> getLine
   
-  commentOnAssign <-
-    yesNoPrompt "Would you like harmony to comment when it assigns reviewers?"
+  commentOnRequest <-
+    yesNoPrompt "Would you like harmony to comment when it requests reviewers?"
 
-  assignTeams <-
-    yesNoPrompt "Would you like harmony to assign teams when it assigns reviewers?"
+  requestTeams <-
+    yesNoPrompt "Would you like harmony to request reviews from teams when it requests reviewers?"
 
-  assignUsers <-
-    yesNoPrompt "Would you like harmony to assign individual users when it assigns reviewers?"
+  requestUsers <-
+    yesNoPrompt "Would you like harmony to request reviews from individual users when it requests a teams review?"
 
   _ <- liftIO $ octokit pat
   putStrLn "Creating config..."
@@ -242,9 +248,9 @@ createConfig envGithubPAT terminalColors editor = do
        , repo
        , defaultRemote
        , mainBranch
-       , assignTeams
-       , assignUsers
-       , commentOnAssign
+       , requestTeams
+       , requestUsers
+       , commentOnRequest
        , teamSlugs
        , repoLabels
        , orgMembers
diff --git a/src/Data/Config.idr b/src/Data/Config.idr
index 585a9dd..62e665b 100644
--- a/src/Data/Config.idr
+++ b/src/Data/Config.idr
@@ -10,6 +10,11 @@ import Language.JSON.Accessors
 
 import public Data.DPair
 
+import Language.Reflection
+import Util.Reflection
+
+%language ElabReflection
+
 %default total
 
 ||| Unix Timestamp (seconds since epoch).
@@ -54,12 +59,12 @@ record Config where
   defaultRemote : String
   ||| The main branch. New PRs are based off of this branch.
   mainBranch    : String
-  ||| True to assign teams as well as individual users to PRs.
-  assignTeams   : Bool
-  ||| True to assign users as well as teams to PRs.
-  assignUsers   : Bool
-  ||| True to comment on PRs after assigning users.
-  commentOnAssign : Bool
+  ||| True to request review from teams as well as individual users on PRs.
+  requestTeams   : Bool
+  ||| True to request review from users as well as teams on PRs.
+  requestUsers   : Bool
+  ||| True to comment on PRs after requesting review from users.
+  commentOnRequest : Bool
   ||| Local cache of GitHub teams within the configured org.
   teamSlugs     : List String
   ||| Local cache of GitHub labels for the configured repo.
@@ -86,21 +91,40 @@ record Config where
 
 public export
 data SettableProp : (name : String) -> (help : String) -> Type where
-  AssignTeams     : SettableProp
-    "assignTeams"
-    "[true/false] Determines whether or not to assign teams when assigning individual reviewers from a team."
-  AssignUsers     : SettableProp
-    "assignUsers"
-    "[true/false] Determines whether or not to assign an individual user based on Harmony's heuristics when assigning teams. You might want to disable `assginUsers` to allow GitHub to pick users to assign based on the team. This setting does not affect the ability to assign individual users withe Harmony's `+<username>` syntax."
-  CommentOnAssign : SettableProp
-    "commentOnAssign"
+  RequestTeams     : SettableProp
+    "requestTeams"
+    "[true/false] Determines whether or not to request reviews from teams when requesting individual reviewers from a team."
+  RequestUsers     : SettableProp
+    "requestUsers"
+    """
+    [true/false] Determines whether or not to request reviews from an individual user based on Harmony's heuristics when \
+    requestin review from teams. You might want to disable `requestUsers` to allow GitHub to pick users to request based on \
+    the team. This setting does not affect the ability to request reviews from individual users withe Harmony's `+<username>` \
+    syntax.
+    """
+  CommentOnRequest : SettableProp
+    "commentOnRequest"
     "[true/false] Determines whether to comment on PR indicating that Harmony chose a reviewer."
   DefaultRemote   : SettableProp
     "defaultRemote"
     "[string]     The name of the default Git remote to use (e.g. 'origin')."
   GithubPAT       : SettableProp
     "githubPAT"
-    "[string]     The Personal Access Token Harmony should use to authenticate with GitHub. You can leave this unset if you want to set a PAT via the GITHUB_PAT environment variable."
+    """
+    [string]     The Personal Access Token Harmony should use to authenticate with GitHub. You can leave this unset if you \
+    want to set a PAT via the GITHUB_PAT environment variable.
+    """
+
+  -- TODO 5.0.0: remove deprecated aliases below
+  AssignTeams : SettableProp 
+    "assignTeams"
+    "[true/false] Deprecated alias for the 'requestTeams' config option."
+  AssignUsers : SettableProp
+    "assignUsers"
+    "[true/false] Deprecated alias for the 'requestUsers' config option."
+  CommentOnAssign : SettableProp
+    "commentOnAssign"
+    "[true/false] Deprecated alias for the 'commentOnRequest' config option."
 
 public export
 SomeSettableProp : Type
@@ -116,37 +140,43 @@ propHelp x = h
 
 export
 settablePropNamed : (name : String) -> Maybe (Exists (SettableProp name))
-settablePropNamed "assignTeams"     = Just $ Evidence _ AssignTeams
-settablePropNamed "commentOnAssign" = Just $ Evidence _ CommentOnAssign
-settablePropNamed "defaultRemote"   = Just $ Evidence _ DefaultRemote
-settablePropNamed "githubPAT"       = Just $ Evidence _ GithubPAT
-settablePropNamed "assignUsers"     = Just $ Evidence _ AssignUsers
+settablePropNamed "requestTeams"     = Just $ Evidence _ RequestTeams
+settablePropNamed "commentOnRequest" = Just $ Evidence _ CommentOnRequest
+settablePropNamed "defaultRemote"    = Just $ Evidence _ DefaultRemote
+settablePropNamed "githubPAT"        = Just $ Evidence _ GithubPAT
+settablePropNamed "requestUsers"     = Just $ Evidence _ RequestUsers
+settablePropNamed "assignTeams"      = Just $ Evidence _ AssignTeams
+settablePropNamed "assignUsers"      = Just $ Evidence _ AssignUsers
+settablePropNamed "commentOnAssign"  = Just $ Evidence _ CommentOnAssign
 settablePropNamed _ = Nothing
 
-namespace SettablePropNamedProps
-  settablePropNamedOnto : {p : SettableProp n h} -> Config.settablePropNamed n === (Just $ Evidence h p)
-  settablePropNamedOnto {p = AssignTeams}     = Refl
-  settablePropNamedOnto {p = AssignUsers}     = Refl
-  settablePropNamedOnto {p = CommentOnAssign} = Refl
-  settablePropNamedOnto {p = DefaultRemote}   = Refl
-  settablePropNamedOnto {p = GithubPAT}       = Refl
+namespace SettablePropNamedProperties
+  settablePropNamedOnto : (p : SettableProp n h) -> Config.settablePropNamed n === (Just $ Evidence h p)
+  settablePropNamedOnto prop = %runElab ( do
+      cons <- getCons `{ Data.Config.SettableProp }
+      check $ elabCase `( prop ) `( Data.Config.SettableProp n h )
+                       cons (\name => (MkClause name `( Refl )))
+    )
 
 settableProps : List SomeSettableProp
 settableProps = [
-    (_ ** _ ** AssignTeams)
-  , (_ ** _ ** AssignUsers)
-  , (_ ** _ ** CommentOnAssign)
+    (_ ** _ ** RequestTeams)
+  , (_ ** _ ** RequestUsers)
+  , (_ ** _ ** CommentOnRequest)
   , (_ ** _ ** DefaultRemote)
   , (_ ** _ ** GithubPAT)
+  , (_ ** _ ** AssignUsers)
+  , (_ ** _ ** AssignTeams)
+  , (_ ** _ ** CommentOnAssign)
   ]
 
-namespace SettablePropsProps
-  settablePropsCovering : {p : SettableProp n h} -> Elem (n ** h ** p) Config.settableProps
-  settablePropsCovering {p = AssignTeams}     = %search
-  settablePropsCovering {p = AssignUsers}     = %search
-  settablePropsCovering {p = CommentOnAssign} = %search
-  settablePropsCovering {p = DefaultRemote}   = %search
-  settablePropsCovering {p = GithubPAT}       = %search
+namespace SettablePropsProperties
+  settablePropsCovering : (p : SettableProp n h) -> Elem (n ** h ** p) Config.settableProps
+  settablePropsCovering prop = %runElab ( do
+      cons <- getCons `{ Data.Config.SettableProp }
+      check $ elabCase `( prop ) `( Data.Config.SettableProp n h )
+                       cons (\name => (MkClause name `( %search )))
+    )
 
 propName' : SomeSettableProp -> String
 propName' (_ ** _ ** p) = propName p
@@ -189,19 +219,19 @@ config.editor = config.ephemeral.editor
 export
 Show Config where
   show config = unlines [
-      "      updatedAt: \{show config.updatedAt}"
-    , "            org: \{show config.org}"
-    , "           repo: \{show config.repo}"
-    , "  defaultRemote: \{show config.defaultRemote}"
-    , "     mainBranch: \{show config.mainBranch}"
-    , "    assignTeams: \{show config.assignTeams}"
-    , "    assignUsers: \{show config.assignUsers}"
-    , "commentOnAssign: \{show config.commentOnAssign}"
-    , "      teamSlugs: \{show config.teamSlugs}"
-    , "     repoLabels: \{show config.repoLabels}"
-    , "     orgMembers: \{show config.orgMembers}"
-    , "     ignoredPRs: \{show config.ignoredPRs}"
-    , "      githubPAT: \{personalAccessToken}"
+      "       updatedAt: \{show config.updatedAt}"
+    , "             org: \{show config.org}"
+    , "            repo: \{show config.repo}"
+    , "   defaultRemote: \{show config.defaultRemote}"
+    , "      mainBranch: \{show config.mainBranch}"
+    , "    requestTeams: \{show config.requestTeams}"
+    , "    requestUsers: \{show config.requestUsers}"
+    , "commentOnRequest: \{show config.commentOnRequest}"
+    , "       teamSlugs: \{show config.teamSlugs}"
+    , "      repoLabels: \{show config.repoLabels}"
+    , "      orgMembers: \{show config.orgMembers}"
+    , "      ignoredPRs: \{show config.ignoredPRs}"
+    , "       githubPAT: \{personalAccessToken}"
     ]
       where
         personalAccessToken : String
@@ -213,22 +243,22 @@ Show Config where
 
 export
 json : Config -> JSON
-json (MkConfig updatedAt org repo defaultRemote mainBranch assignTeams assignUsers commentOnAssign
+json (MkConfig updatedAt org repo defaultRemote mainBranch requestTeams requestUsers commentOnRequest
                teamSlugs repoLabels orgMembers ignoredPRs githubPAT _) = 
   JObject [
-      ("assignTeams"    , JBool assignTeams)
-    , ("assignUsers"    , JBool assignUsers)
-    , ("commentOnAssign", JBool commentOnAssign)
-    , ("org"            , JString org)
-    , ("repo"           , JString repo)
-    , ("defaultRemote"  , JString defaultRemote)
-    , ("mainBranch"     , JString mainBranch)
-    , ("orgMembers"     , JArray $ JString <$> sort orgMembers)
-    , ("teamSlugs"      , JArray $ JString <$> sort teamSlugs)
-    , ("repoLabels"     , JArray $ JString <$> sort repoLabels)
-    , ("ignoredPRs"     , JArray $ JInteger . cast <$> sort ignoredPRs)
-    , ("githubPAT"      , maybe JNull (JString . expose) githubPAT)
-    , ("updatedAt"      , JInteger $ cast updatedAt)
+      ("requestTeams"    , JBool requestTeams)
+    , ("requestUsers"    , JBool requestUsers)
+    , ("commentOnRequest", JBool commentOnRequest)
+    , ("org"             , JString org)
+    , ("repo"            , JString repo)
+    , ("defaultRemote"   , JString defaultRemote)
+    , ("mainBranch"      , JString mainBranch)
+    , ("orgMembers"      , JArray $ JString <$> sort orgMembers)
+    , ("teamSlugs"       , JArray $ JString <$> sort teamSlugs)
+    , ("repoLabels"      , JArray $ JString <$> sort repoLabels)
+    , ("ignoredPRs"      , JArray $ JInteger . cast <$> sort ignoredPRs)
+    , ("githubPAT"       , maybe JNull (JString . expose) githubPAT)
+    , ("updatedAt"       , JInteger $ cast updatedAt)
     ]
 
 --
@@ -244,12 +274,9 @@ parseConfig ephemeral = (mapFst (const "Failed to parse JSON") . parseJSON Virtu
                                             , org
                                             , repo
                                             , mainBranch
-                                            , assignTeams
-                                            , commentOnAssign
                                             , teamSlugs
                                             , orgMembers
                                             , defaultRemote
-                                            , assignUsers
                                             , repoLabels
                                             , ignoredPRs
                                             ] <-
@@ -258,45 +285,58 @@ parseConfig ephemeral = (mapFst (const "Failed to parse JSON") . parseJSON Virtu
                                               , "org"
                                               , "repo"
                                               , "mainBranch"
-                                              , "assignTeams"
-                                              , "commentOnAssign"
                                               , "teamSlugs"
                                               , "orgMembers"
                                               , "defaultRemote"
-                                              , "assignUsers"
                                               , "repoLabels"
                                               , "ignoredPRs"
                                               ] config
+                                          -- TODO 5.0.0: Stop supporting the old aliases "assign..." and move the 
+                                          --             new "request..." versions into the required lookup above.
+                                          requestTeams <- exactlyOneOf "assignTeams" "requestTeams"
+                                          requestUsers <- exactlyOneOf "assignUsers" "requestUsers"
+                                          commentOnRequest <- exactlyOneOf "commentOnAssign" "commentOnRequest"
                                           let maybeGithubPAT = lookup "githubPAT" config
                                           ua <- cast <$> integer updatedAt
                                           o  <- string org
                                           r  <- string repo
                                           dr <- string defaultRemote
                                           mb <- string mainBranch
-                                          at <- bool assignTeams
-                                          au <- bool assignUsers
-                                          ca <- bool commentOnAssign
+                                          at <- bool requestTeams
+                                          au <- bool requestUsers
+                                          ca <- bool commentOnRequest
                                           ts <- array string teamSlugs
                                           rl <- array string repoLabels
                                           om <- array string orgMembers
                                           ip <- array integer ignoredPRs
                                           gp <- maybe (Right Nothing) (optional string) maybeGithubPAT
                                           pure $ MkConfig {
-                                              updatedAt        = ua
-                                            , org              = o
-                                            , repo             = r
-                                            , defaultRemote    = dr
-                                            , mainBranch       = mb
-                                            , assignTeams      = at
-                                            , assignUsers      = au
-                                            , teamSlugs        = ts
-                                            , repoLabels       = rl
-                                            , commentOnAssign  = ca
-                                            , orgMembers       = om
-                                            , ignoredPRs       = ip
-                                            , githubPAT        = (map Hide) gp
-                                            , ephemeral        = ephemeral
+                                              updatedAt         = ua
+                                            , org               = o
+                                            , repo              = r
+                                            , defaultRemote     = dr
+                                            , mainBranch        = mb
+                                            , requestTeams      = at
+                                            , requestUsers      = au
+                                            , teamSlugs         = ts
+                                            , repoLabels        = rl
+                                            , commentOnRequest  = ca
+                                            , orgMembers        = om
+                                            , ignoredPRs        = ip
+                                            , githubPAT         = (map Hide) gp
+                                            , ephemeral         = ephemeral
                                             }
+      where
+        exactlyOneOf : String -> String -> Either String JSON
+        exactlyOneOf key1 key2 = do
+          let maybeKey1 = lookup key1 config
+          let maybeKey2 = lookup key2 config
+          case (maybeKey1, maybeKey2) of
+               (Nothing, Nothing) => Left "Expected config JSON to contain either the '\{key1}' key (deprecated) or the '\{key2}' key (newer)."
+               (Nothing, (Just value)) => Right value
+               ((Just value), Nothing) => Right value
+               ((Just _), (Just _)) => Left "Expected config JSON to contain only one of the '\{key1}' key (deprecated) or the '\{key2}' key (newer). Found values for both."
+
     parseConfigJson (JArray _) = Left "Expected config JSON to be an Object, not an array."
     parseConfigJson _          = Left "Expected config JSON to be an Object."
 
diff --git a/src/Data/ReviewScore.idr b/src/Data/ReviewScore.idr
index 0bf1b52..f1b1a5c 100644
--- a/src/Data/ReviewScore.idr
+++ b/src/Data/ReviewScore.idr
@@ -19,7 +19,7 @@ loginScore (MkScore l s c) = (l, c)
 
 ||| Get scored reviewers sorted from lowest to highest score.
 ||| A low score indicates less review work (a better candidate for
-||| assigning a new PR to).
+||| requesting review from on a new PR).
 |||
 ||| The resulting `Score` contains both a partial score (the score
 ||| based only on open reivews) and also a combined score (the score
diff --git a/src/FFI/GitHub.idr b/src/FFI/GitHub.idr
index 054298d..07b14b6 100644
--- a/src/FFI/GitHub.idr
+++ b/src/FFI/GitHub.idr
@@ -239,10 +239,10 @@ prim__addPullReviewers : Ptr OctokitRef
 ||| Applies team reviewers first as one API request and then
 ||| individual reviewers second as a second API request. This
 ||| implementation detail forces (or allows) GitHub to take a
-||| team assignment and pick someone from it whereas if a team
-||| and some individuals are assigned in one go then GitHub will
+||| team review request and pick someone from it whereas if a team
+||| and some individuals are requested in one go then GitHub will
 ||| never apply its round-robin or weight-balanced selection but
-||| instead will leave the team itself assigned.
+||| instead will leave the team itself requested.
 export
 addPullReviewers : Octokit => 
                    (owner : String) 
diff --git a/src/Help.idr b/src/Help.idr
index 12ddc97..73c4192 100644
--- a/src/Help.idr
+++ b/src/Help.idr
@@ -46,14 +46,14 @@ subcommandHelp' n@"label" = subcommand n [argument True "<label>", argument Fals
     <+> line
     <+> "Labels that do not exist yet will be created automatically."
   ]
-subcommandHelp' n@"assign" = subcommand n [argument True "<team-slug> | +<user-login>", argument False "#<label>", argument False "..."] $
+subcommandHelp' n@"request" = subcommand n [argument True "<team-slug> | +<user-login>", argument False "#<label>", argument False "..."] $
   [ reflow """
-      Assign the given team(s) and one lucky member from one of those teams
-      to review the PR for the current branch.
+      Request review from the given team(s) and one lucky member from one
+      of those teams to review the PR for the current branch.
       """
   , reflow """
-      Also assign any users with logins specified. You specify these
-      additional users by prefixing their logins with '+'.
+      Also request reviews from any users with logins specified. You specify
+      these additional users by prefixing their logins with '+'.
       """
   , "Optionally apply any number of labels by prefixing them with '#'."
   ]
@@ -63,7 +63,7 @@ subcommandHelp' n@"config" = subcommand n [argument True "<property>", argument
       can be set and read via this subcommand.
       """
     <+> line
-    <+> argument' "properties" <+> ":" <++> (concatWith (\a,b => a <+> "," <++> b) $ option <$> settablePropNames) <+> "."
+    <+> argument' "properties" <+> ":" <++> (align $ concatWith (\a,b => a <+> "," <+> softline <+> b) $ option <$> settablePropNames)
   ]
 subcommandHelp' n@"pr" = subcommand n [argument False "--draft", argument False "#<label>", argument False "..."] $
   [ "Identify an existing PR or create a new one for the current branch."
@@ -109,8 +109,7 @@ helpDocs : Doc AnsiStyle
 helpDocs = vsep
   [ "harmony" <++> subcommand' "<subcommand>"
   , heading "Subcommands" $ vsep
-      [ subcommandHelp' "assign"
-      , subcommandHelp' "branch"
+      [ subcommandHelp' "branch"
       , subcommandHelp' "config"
       , subcommandHelp' "contribute"
       , subcommandHelp' "graph"
@@ -120,6 +119,7 @@ helpDocs = vsep
       , subcommandHelp' "list"
       , subcommandHelp' "pr"
       , subcommandHelp' "reflect"
+      , subcommandHelp' "request"
       , subcommandHelp' "sync"
       , subcommandHelp' "version"
       , subcommandHelp' "whoami"
diff --git a/src/Main.idr b/src/Main.idr
index 85e2e38..f0dd1ac 100644
--- a/src/Main.idr
+++ b/src/Main.idr
@@ -35,6 +35,18 @@ exitError err =
           else ignore $ fPutStrLn stderr err
      exitFailure
 
+printWarning : HasIO io => 
+               String 
+            -> io ()
+printWarning warning =
+  if !(isTTY stderr)
+    then do
+      ignore $ fPutStrLn stderr . renderString . layoutPretty defaultLayoutOptions . annotate (color Yellow) . pretty $ trim warning
+      ignore $ fPutStrLn stderr ""
+    else do
+      ignore $ fPutStrLn stderr warning
+      ignore $ fPutStrLn stderr ""
+
 covering
 bashCompletion : HasIO io => 
                  (subcommand : String)
@@ -116,10 +128,19 @@ handleAuthenticatedArgs @{config} ("graph" :: args) =
   case (parseGraphArgs args) of
        Right args => Commands.graph args
        Left err   => exitError err
-handleAuthenticatedArgs ("assign" :: "--dry" :: assignRest) =
-  Commands.assign assignRest {dry=True}
-handleAuthenticatedArgs ("assign" :: assignRest) =
-  Commands.assign assignRest
+
+  -- TODO 5.0.0: Remove the aliases for the deprecated assign command.
+handleAuthenticatedArgs ("assign" :: "--dry" :: requestRest) = do
+  printWarning "The 'assign' command is a deprecated alias for the new 'request' command."
+  Commands.request requestRest {dry=True}
+handleAuthenticatedArgs ("assign" :: requestRest) = do
+  printWarning "The 'assign' command is a deprecated alias for the new 'request' command."
+  Commands.request requestRest
+
+handleAuthenticatedArgs ("request" :: "--dry" :: requestRest) =
+  Commands.request requestRest {dry=True}
+handleAuthenticatedArgs ("request" :: requestRest) =
+  Commands.request requestRest
 handleAuthenticatedArgs ["label"] =
   reject "The label command expects one or more labels as arguments."
 handleAuthenticatedArgs ("label" :: label1 :: labels) =
@@ -138,7 +159,7 @@ handleConfiguredArgs : Config => Git =>
                     -> Promise ()
 handleConfiguredArgs _ ["config"] =
   reject $ "The config command expects one or two arguments. "
-        ++ "Specify a property to read out or a property and a value to set it to."
+        ++ "Specify a property to read it out or specify both a property and a value to set it to."
         ++ "\n\n"
         ++ settablePropsWithHelp
 handleConfiguredArgs _ ["config", prop] =
diff --git a/src/PullRequest.idr b/src/PullRequest.idr
index 00ddba3..0d031e4 100644
--- a/src/PullRequest.idr
+++ b/src/PullRequest.idr
@@ -196,27 +196,27 @@ requestReviewers @{config} pr teamNames forcedReviewers {dry} = do
   (openReviewers, closedReviewers) <- listReviewers 100 {pageBreaks=4}
   teamMembers <- join <$> traverse (listTeamMembers config.org) teamNames
 
-  chosenUser <- if config.assignUsers
+  chosenUser <- if config.requestUsers
                      then let chosenCandidates = chooseReviewers closedReviewers openReviewers teamMembers [] pr.author
                           in  randomReviewer chosenCandidates
                      else pure Nothing
 
   let users = (toList chosenUser) ++ forcedReviewers
-  let teams = if config.assignTeams then teamNames else []
+  let teams = if config.requestTeams then teamNames else []
   when (not dry) $
     do ignore $ addPullReviewers config.org config.repo pr.number users teams
-       when config.commentOnAssign $
+       when config.commentOnRequest $
          whenJust chosenUser $ \cu =>
            createComment config.org config.repo pr.number (prComment cu)
-  if null users && config.assignUsers
+  if null users && config.requestUsers
     then putStrLn . renderString $ vsep [
                     annotate (color Yellow) $ pretty "Could not pick a user from the given Team "
                   , pretty "(perhaps the only option was the author of the pull request?)."
-                  , pretty "Assigned \{teamNotice teams} to the open PR "
+                  , pretty "Requested review from \{teamNotice teams} for the open PR "
                   , pretty "for the current branch (\{pr.webURI})."
                   ]
     else putStrLn . renderString $ vsep [
-                    pretty "Assigned \{userNotice chosenUser}\{teamNotice teams} to the open PR "
+                    pretty "Requested review from \{userNotice chosenUser}\{teamNotice teams} for the open PR "
                   , pretty "for the current branch (\{pr.webURI})."
                   ]
   where
@@ -236,7 +236,7 @@ requestReviewers @{config} pr teamNames forcedReviewers {dry} = do
 
     prComment : String -> String
     prComment chosenUser = """
-    :musical_note: Harmoniously assigned @\{chosenUser} to review this PR.
+    :musical_note: Harmoniously requested review from @\{chosenUser}.
     """
 
 export
diff --git a/src/Util/Reflection.idr b/src/Util/Reflection.idr
new file mode 100644
index 0000000..25936a0
--- /dev/null
+++ b/src/Util/Reflection.idr
@@ -0,0 +1,21 @@
+module Util.Reflection
+
+import Language.Reflection
+
+public export
+record Clause where
+  constructor MkClause
+  lhs : Name
+  rhs : TTImp
+
+||| Useful for elaborating basic properties where you want to know that
+||| a function is either covering or onto w/r/t a datatype.
+||| See e.g. `Data.Config.SettablePropNamedProperties`
+|||
+||| case `ofParam` of
+|||      `clauseFn <$> cases`
+public export
+elabCase : (ofParam : TTImp) -> (ty : TTImp) -> (cases : List Name) -> (clauseFn : Name -> Util.Reflection.Clause) -> TTImp
+elabCase ofParam ty cases clauseFn =
+  ICase EmptyFC [] ofParam ty $ (\c => PatClause EmptyFC (IVar EmptyFC c.lhs) c.rhs) . clauseFn <$> cases
+
diff --git a/test/expected_help.txt b/test/expected_help.txt
index c64aefa..d687c93 100644
--- a/test/expected_help.txt
+++ b/test/expected_help.txt
@@ -1,20 +1,13 @@
 harmony <subcommand>
 
 Subcommands:
-  assign {<team-slug> | +<user-login>} [#<label>] [...]
-      Assign the given team(s) and one lucky member from one of those teams to
-      review the PR for the current branch.
-
-      Also assign any users with logins specified. You specify these additional
-      users by prefixing their logins with '+'.
-
-      Optionally apply any number of labels by prefixing them with '#'.
   branch 
       Print the GitHub URI for the currently checked out branch.
   config {<property>} [<value>]
       Get or set the value of a configuration property. Not all properties can
       be set and read via this subcommand.
-      properties: assignTeams, assignUsers, commentOnAssign, defaultRemote, githubPAT.
+      properties: requestTeams, requestUsers, commentOnRequest, defaultRemote,
+                  githubPAT, assignUsers, assignTeams, commentOnAssign
   contribute [-c/--checkout] [-<num>] [-i/--ignore {<uri>/<pr-number>}]
       Contribute to an open PR. Prints a URL. Prioritizes PRs you are requested
       to review but will also return other PRs.
@@ -43,6 +36,14 @@ Subcommands:
       Optionally apply any number of labels by prefixing them with '#'.
   reflect 
       Reflect on the current state of ones own PRs and review requests.
+  request {<team-slug> | +<user-login>} [#<label>] [...]
+      Request review from the given team(s) and one lucky member from one of
+      those teams to review the PR for the current branch.
+
+      Also request reviews from any users with logins specified. You specify
+      these additional users by prefixing their logins with '+'.
+
+      Optionally apply any number of labels by prefixing them with '#'.
   sync 
       Synchronize local config with information from GitHub.
   version 
diff --git a/todo-check.sh b/todo-check.sh
index 2efd236..635e638 100755
--- a/todo-check.sh
+++ b/todo-check.sh
@@ -1,6 +1,6 @@
 #/bin/sh
 
-todos=$(find . \( -name '*.idr' -o -name '*.js' \) ! -path '*build*' ! -path '*node_modules*' | xargs sed -n '/TODO/p')
+todos=$(find . \( -name '*.idr' -o -name '*.js' \) ! -path '*build*' ! -path '*node_modules*' | xargs grep -U1 'TODO')
 
 pkgversion="$(cat harmony.ipkg | sed -n 's/version = \(.*\)/\1/p')"
 
@@ -8,7 +8,7 @@ if [[ "$todos" != '' ]]; then
   echo "TODOs found:"
   echo "$todos"
 
-  criticals="$(echo "$todos" | sed -n "/TODO $pkgversion/p")"
+  criticals="$(echo "$todos" | sed -n "s/^.*TODO $pkgversion/TODO $pkgversion/p")"
 
   if [[ "$criticals" != '' ]]; then
     echo ""