Nelson's transfer principle preserves first-order truths but cannot eliminate the metatheoretic asym...