Envoyer par SMS: Computer-assisted existence proofs for two-point boundary value problems.