Reduction
========

== TODO