And third, it produces redundant solutions for ground queries.