less restrictive asserts