assume and assert