At this juncture, the final comparison needs to be done at the top
level, but work leading up to that should be all set
Final proposition evaluation now works
Readme updates