Talk:Exportation in logic