Domain specifications inherit constraints from foundational theory, so relocating inconsistency does...
This proposition has not been edited since the history system was added.