I think is already checked for in the next assert call.