Yes, I know, I added it for clarity. I can remove it if you like...