(	∀m∈(Subscript[A, S]),∀ p∈P,
∀(Subscript[d, 0])∈D(∑_(d∈D))(Subscript[(OverBar[I]), m,p,((Subscript[d, 0]),d)]^move)=1⇒(∑_(d ′∈D))(Subscript[(OverBar[I]), m,p-1,(d'(Subscript[d, 0]))]^move)+(∑_(n∈,(Subscript[A, T])))(Subscript[(OverBar[I]), mn,p-1,(Subscript[d, 0])]^deploy)+(∑_(s∈S|(Subscript[d, 0])∈(Subscript[D, S])))(Subscript[(OverBar[I]), m,p-1,s]^service)+(Subscript[(OverBar[I]), m,p-1,d)]^wait)=1(21))