I hadn't heard of him before. [follows the link]

Craig modifies the thought experiment by introducing operations such as subtraction and shows that subtracting identical quantities from identical quantities would have non-identical remainders.[9] Since we have no evidence of such things in the actual world

Don't we?