New assertions, documentation