A question about cholesky-solve