New asserts wip
Add new assertions
New assertions, documentation