On Sun, 29 Dec 2019, 05:31 Yuval Kogman, wrote: > n = # inputs + # indistinguishable outputs > sorry, this is really wrong (although of no consequence to my arguments) - n is the smaller of these two numbers, not their sum.