``` sqlite> create table x(x); sqlite> insert into x select value from wholenumber where value between 1 and 10; sqlite> select * from x; 1 2 3 4 5 6 7 8 9 10 sqlite> with a(x) as (select 1 union select x+1 from a where x < 5) delete from x where x in (select x from a); sqlite> select * from x; 6 7 8 9 10 sqlite> ``` Is QED short for "jumping to conclusions"? When I was a lad it was short for Quite Enough Done.