There is no assertion here