The inference from 'N is invalid in KQML' to 'Box-N is metaphysically invalid' conflates formal inva...