Zaslat SMS: Naturalism in mathematics