2026-08-01 Bounds for Ordered Sets postfpl

2026-07-31 Putting Everything in Order postfpl