I believe "in practice, theoretically" simplifies to "theoretically".

In actual practice there might as well be hidden local variables here. You wouldn't be able to tell the difference, even though you could in theory.