For n < length( ), n refers to the n-th stage in from the current stage 0 .
when n is more recent than m , m > n. To define the semantics of (¬)', Groenendijk (2013) introduces another semantic relation, prior expectation-rejection shift.