Enviar por SMS: A pointfree theory of Pervin spaces