begin asserts