[tptacek]

4.8 is much funnier: you have to convince it the counterexample is real, it keeps coming up with goofy excuses. As you talk it down, it keeps talking about its "discomfort" and "flinching".