G-single-item-realtime #0
Let:
  T1 = {:index 9300, :time 19566688677, :type :ok, :process 476, :f :txn, :value [[:append 359 9] [:append 360 2] [:r 360 [2]]]}
  T2 = {:index 9350, :time 19656290368, :type :ok, :process 422, :f :txn, :value [[:r 360 [3 10]]]}

Then:
  - T1 < T2, because T1 completed at index 9300, 0.003 seconds before the invocation of T2, at index 9303.
  - However, T2 < T1, because T2 did not observe T1's append of 2 to 360: a contradiction!


G-single-item-realtime #1
Let:
  T1 = {:index 3106, :time 7473927373, :type :ok, :process 118, :f :txn, :value [[:r 122 nil] [:append 118 11] [:append 122 3] [:r 113 [2 5 11]]]}
  T2 = {:index 3146, :time 7546054884, :type :ok, :process 118, :f :txn, :value [[:append 113 14]]}
  T3 = {:index 3162, :time 7582376310, :type :ok, :process 84, :f :txn, :value [[:append 124 9] [:append 118 12]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 14 to 113.
  - T2 < T3, because T2 completed at index 3146, 0.034 seconds before the invocation of T3, at index 3161.
  - However, T3 < T1, because T1 appended 11 after T3 appended 12 to 118: a contradiction!