an Entity references as follows:
p precededBy p' if and only if: given any process p at a time t, there is some process p' at time t', and t' is earlier than t.