Clarifies proof that reductions compose.
Removes unneeded hat.