 Since the recipe is a general one, it appears to be applicable to any condition one might add to the JTB theory, so long as it does not itself entail truth. The argument generalizes against all “non-redundant” JTB+X analyses.