!([](waitingthread -> (pendingPtrval U notwaitingthread)))