A property can be robust (determined by basic axioms) even if multiple consistent extensions exist, ...
This proposition has not been edited since the history system was added.