The formula defines {a,b} relative to a and b as given parameters, not by quantifying over all possi...
This proposition has not been edited since the history system was added.