B-properties can be abstractly characterized independent of particular instantiations, allowing coun...
This proposition has not been edited since the history system was added.