there is no assertion here