Let them perform anti-money laundering checks (not that they all will, the world is a huge place and there are pretty close to zero globally applied laws), that is what mixing is for. They can know Alice and a thousand other people bought bitcoins and then all of the trails go dead at the blind mix, and they are left trying to find correlations at best. The laws of men will never trump the laws of math.