Grice's "satisfactory" bootstrap!

We import into the object language the phrases 'It is true that' and 'It is good that'; 'It is true that ⊢p' is to be satisfactory qua true just in case '⊢ p' is satisfactory qua true; and 'it is good that ! p' is to be satisfactory qua true just in case '! p' is satisfactory qua having practical value. At we introduce 'it is acceptable that' (with the syntactical provisions which I have been using); on the practical side, 'It is acceptable that ! p' will be true just in case 'it is good that ! p' is true.