Enviar por SMS: Back to programming from Galois connections