R:Dyn.Oper.None/Add/Del
      R:Recv.None
      R:Send.None
      R:Recv.Init
      R:Send.Ack

   State transitions:

         R:Cap.True/False
         R:Dyn.Oper.None/Add/Del
         R:Send.None      ---> R:Recv.Init ---+
         R:Recv.None                          |
               |                              |
               ^                              v
               |                              |
               +----<---- R:Send.Ack ---------+