Mathematical_platonism loading ...