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
I hadn’t heard of him before. [follows the link]
Don’t we?