Using asserts