Nirenberg–Treves conjecture

GPTKB entity