implementing more inequality graph stuff; work in progress doesn't compile