Reasoning with Radicals?