correct_knows