+\begin{algorithmic}[1]\r
+\Procedure{CheckSlotsRange}{$|SL_s|,s_{s_{min}},s_{s_{max}}$}\r
+\State $sz_{SL} \gets s_{s_{max}} - s_{s_{min}} + 1$\r
+\If{$sz_{SL} \neq |SL_s|$}\r
+ \State \Call{Error}{'Sequence numbers range does not match slots set'}\r
+\EndIf\r
+\State $s_{min} \gets MinLastSeqN(MS)$\r
+\State $s_{max} \gets MaxLastSeqN(MS)$\r
+\If{$s_{s_{min}} \leq s_{min}$}\r
+ \State \Call{Error}{'Server sent old slot'}\r
+\EndIf\r
+\If{$s_{s_{max}} > s_{max}$}\r
+ \State \Call{Error}{'Server sent out-of-range slot'}\r
+\EndIf\r
+\State $s_{self} \gets MS_s[id_{self}]$\r
+\State $sz_{expected} \gets s_{max} - s_{self} + 1$\r
+\If{$sz_{SL} \neq sz_{expected}$}\r
+ \State \Call{Error}{'Actual number of slots does not match expected'}\r
+\EndIf\r
+\EndProcedure\r
+\end{algorithmic}\r
+\r