Enviar por SMS: Contraexemplos e raciocínio dedutivo