semi-def chol (bug)