coverage operators based on FIFO and total order.  [ as of corporate b1293c6600c89f29ea3bcebf0510f11250348a4d ]