Adding a [finish] to Assumption

- Finish should be moved.
- Also cleaned up some of the reification goals.