Internal categoricity proofs presuppose a metatheory in which 'all models' is itself interpreted, re...