Nope, it's the last clause of `command2()`.