SMS: Electronic mathematics