add more asserts: