Using with and reduce in the tax example
Updating documentation