Yes, we do a lot of work with monotonicity detection. It's central to we perform automatic garbage collection based on lateness.