Use asserts