SMS dit: Realism in mathematics