Issue here is detection of conflicting ops vs. fact of conflicting ops. The monotonic sequence provides that detection means. So in the example you gave, the t

Issue here is detection of conflicting ops vs. fact of conflicting ops. The monotonic sequence provides that detection means. So in the example you gave, the tardy (expired) tx commit would abort since its lock id would break the monotonic sequence of accepted lock-ops (which clearly can have gaps, 1, 2, 4, 6, 7, ... etc.[)]