The added conviction of 'knowing that one knows' is epistemically idle if the first-order belief is ...