 Call M the LTS depicted above on the left and M′ the LTS depicted on the right. Formally defined, we have M = (W, R, V) with W = {x1,x2}, R(π1) = {(x1,x1)}, R(π2) = {(x1,x2)}, V(p) = {x1}, V(q) = {x2}, and we have M′ = (W′, R′, V′) with W′ = {y1,y2,y3,y4},  R(π1) = {(y1,y2), (y2,y2)}, R′(π2) = {(y1,y3), (y2,y4)}, V′(p) = {y1, y2}, V′(q) = {y3, y4}. We have for instance: