And let me rewrite it with our new. So this is head A, this is head B, this is head B, this is head A. There would only be 12 different scenarios if you viewed these 2 things as fundamentally different. But we don't. We're actually double counting, because we can always swap these 2 heads and have the exact same outcome. So what you want to do is actually divide it by 2. So you want to divide it by all of the different ways that you can swap 2 different things.