CET models haven't achieved comparable formalization; their theoretical weakness versus CT doesn't p...
This proposition has not been edited since the history system was added.