He did not.
The Rand formula decision is in our submission, in both languages. What's interesting is that he also said that it wasn't the right thing for all unions. He ordered this because of a problematic, dysfunctional union that needed money to mature. He said other unions would be negatively affected if they were awarded forced union dues. It's right in Justice Rand's ruling. What the Rand formula has become is not what Justice Rand intended.