When screening-off fails, we can always identify a missing variable that, if included, would restore...
This proposition has not been edited since the history system was added.