@170336

Thread of p-empty