Meta-level claims about belief-systems differ in logical type from first-order beliefs, so standard ...
This proposition has not been edited since the history system was added.