Envoyer par SMS: Unifying theories of programming