That indeed would have been better. Much too late for that edit now. But the subsequent debate over the intuitive claim is fun.