note1nz28v... allen @allen 1769248302 heine 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. 1