G-single-item-realtime #0
Let:
  T1 = {:index 1477202, :time 3528234707479, :type :ok, :process 89, :f :txn, :value [[:r 22209 [4 5 14 22 28 29 40 52 57]] [:r 22211 nil] [:r 22210 [1]]]}
  T2 = {:index 1477180, :time 3528177769885, :type :ok, :process 67, :f :txn, :value [[:append 22209 66] [:r 22211 nil] [:append 22211 3] [:r 22209 [4 5 14 22 28 29 40 52 57 66]]]}
  T3 = {:index 1477176, :time 3528174732615, :type :ok, :process 89, :f :txn, :value [[:r 22209 [4 5 14 22 28 29 40 52 57 66]]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 66 to 22209.
  - T2 < T3, because T3 observed T2's append of 66 to key 22209.
  - However, T3 < T1, because T3 completed at index 1477176, 0.000 seconds before the invocation of T1, at index 1477177: a contradiction!


G-single-item-realtime #1
Let:
  T1 = {:index 1412548, :time 3348770846550, :type :ok, :process 41, :f :txn, :value [[:r 21187 [1 5 4 11 12 14 13 30 27 31 32 36 37 38 51]] [:r 21191 [2 5 6 16 17 20 19 25 26 34 41 45 46 48]]]}
  T2 = {:index 1412528, :time 3348741312987, :type :ok, :process 35, :f :txn, :value [[:append 21191 59] [:append 21186 15]]}
  T3 = {:index 1412526, :time 3348738266483, :type :ok, :process 41, :f :txn, :value [[:r 21191 [2 5 6 16 17 20 19 25 26 34 41 45 46 48 59]]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 59 to 21191.
  - T2 < T3, because T3 observed T2's append of 59 to key 21191.
  - However, T3 < T1, because T3 completed at index 1412526, 0.000 seconds before the invocation of T1, at index 1412527: a contradiction!