Rebase + squash + fixup of #814.

Subtracts