actually done with asserts.