anchor.diff:  
   
   [[aggregation]]
  -=== Aggregation ===
  +=== Aggregation
   
   Generally an aggregation `aggr(expr)` processes all matching rows for each aggregation key found in an incoming record (keys are compared using equivalence).
   
  
positive.code: 
  
  [[orderability-def,orderability]]
  ==== Orderability ====
  
  [[global-sort-order,global sort order]]
  We propose that orderability be defined between any pair of values such that the result is always `true` or `false`.
  
negative.code: 
  
  [[equivalence-def,equivalence]]
  ==== Equivalence
  
  Equivalence now can be defined succinctly as being identical to equality except that:
  
  