Gravar-mail: Contraexemplos e raciocínio dedutivo