Non-interpretative metacognition for true beliefs