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,

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 :)