Added comment.
Removed dominance file; added prerequisite systems.
Removed code that has been factored out.