(Actually, we can simplify that a bit more.)