rich1.0allen (npub1sf…2ymqt)https://yabu.me/npub1sfhflz2msx45rfzjyf5tyj0x35pv4qtq3hh4v2jf8nhrtl79cavsl2ymqtnjumphttps://yabu.meheine borel and anything relying on compactness fails. weirdest/coolest result is IVT fails too, which is bizarre because on R continuity is strictly stronger than IVP, but in dense-but-not-complete R that flips.