[tempfile]

Turing actually addressed this in his argument!

> If these sets are restricted to be measurable

measurable sets are not Banach-Tarski-able :)