it's assert not assume