Some basic asserts