Labelling
nodes may be IN (currently admissible or believed) or OUT (currently not admissible or disbelieved).
JTMS performs a labelling process which is aimed at identifying the status of each node. When all nodes have a coherent status, then the set of nodes is called relaxed.
At the end of the labelling process, the PS is forced to work only on the nodes which are IN!