 In his much-discussed 1936 paper ‘On the concept of logical consequence’, Tarski presents two criteria of material adequacy for formal accounts of logical consequence, which jointly capture the ‘common notion’ of logical consequence (or so he claims). They are formulated as the following condition: