What is the meaning of preemptive and non-preemptive, particular in reference to #3 in the Hoare paper?