playing around with assertions
bump
adding consistency and assumption checking to the new refactoring