comments and Vec.exists, used in Solver