Blumenthal oversetter «ikke-impliserende negasjon» (མེད་དགག, ), som «eksistensiell negasjon». «Impliserende negasjon» (མ་ཡིན་དགག, ) gjengir han som «predikativ negasjon».