This needs to be asserted too.