x precedes y if and only if th ...... aps a process to an end point.
@en