Definition:Strictly Precedes/Definition 1