updated formula
final reductions
new graphs