History shows barriers to known techniques (diagonalization, relativization) were overcome by fundam...
This proposition has not been edited since the history system was added.