Definition:Strictly Precedes/Definition 2