[math-fun] Asimov quadratic forms "density" question