Pierce–Birkhoff_conjecture loading ...