[5] (pq 'emptyp) ()