The inference pattern 'X didn't do Y, therefore Y cannot be done' relies on absent evidence rather t...
This proposition has not been edited since the history system was added.