Is there a reason why we have to include cassert here?