Generality may concern expressive strength, not model count; a system with fewer but richer models c...
This proposition has not been edited since the history system was added.