Here's a mathematical fact which I find amazingly counter-intuitive: There exists a polytope (=the convex hull of a finite set) in ℝ⁴ which is not combinatorially equivalent to one with rational vertex coordinates (=the convex hull of a finite subset of ℚ⁴)! 🤯 •1/4