aye, this matches my intuition: having a lower bound and an upper bound (as rational numbers) on each value means you can:

- go back and improve if necessary, or otherwise - express the uncertainty of a comparison

thanks for the link :)