...those jokes would have to do with correctness?