Godel always corrects what people say, he is very intelligent.