more explicit asserts