Enviar por SMS: Programming from Galois connections