The claim presupposes that decision procedures should handle all imaginable scenarios equally well, ...
This proposition has not been edited since the history system was added.