Armstrong's theory lacks a principled stopping point: any structural universal can be analyzed into ...
This proposition has not been edited since the history system was added.