DB query: Much simpler; no storage of state. DB-QUERY-SEQ added.