fairness/
strong_fairstr_implies_fairstr.con.body.xml
strong_fairstr_implies_fairstr.con.types.xml