Assuring and critical labels for relations between maximal consistent sets for interpretability logics. (arXiv:2003.04623v1 [math.LO])