Tarski’s conception of what he calls “the mathematical” is analysed at length. We carve out what we see as the philosophy of the logical work, going on to categorise this philosophical position as a form of naturalism. We suggest that the logic-philosohicalframework underpinning Tarski’s approach to metamathematics can take the form of squeezing arguments. We then take up the contemporary debate on logicality, inspired as it was by Tarski’s invariance criterion. Gil Sagi’s work on logicality is discussed as well that that of Feferman, McGee and others. An improvement of McGee's theorem is presented.