The result shows a specific limitation of diagonalization's reach, not a universal incompatibility w...
This proposition has not been edited since the history system was added.