A defense succeeds if it shows incompatibility claims are false. Showing logical possibility suffice...
This proposition has not been edited since the history system was added.