Ok, sorry for misspeaking, but I don't think it changes the conclusion. I don't know how to measure consistency in my example, but correctness necessarily impli

Ok, sorry for misspeaking, but I don't think it changes the conclusion. I don't know how to measure consistency in my example, but correctness necessarily implies consistency.