Right on. The TM can be used once the Trademark is applied for. They can’t use the circle R until it is registered. If the registration is denied, they can’t use the TM any longer.