The converse clarifies that rationality under CKR is strictly more restrictive than mere iterated el...
This proposition has not been edited since the history system was added.