fixed label polarities; requires/ensures reporting seems to work correctly now