|< < 48 > >|
If T1 writes a value which is then overwritten by T2, then T1 < T2 in any valid serialization order.