Definition of "precedes"