The embedding problem doesn't prove force-preservation; expressions could shift meaning in context w...
This proposition has not been edited since the history system was added.