台灣官員使用的邏輯好像比美國法官使用的直覺邏輯更細密一點：不但「互不否認 φ」不一定蘊涵「φ」，而且「互不否認互不否認 φ」也不一定蘊含「互不否認 φ」。直覺邏輯裡 ¬¬¬φ → ¬φ 是定理（證明是 λc.λx.c(λk.kx)），換言之「互不否認」是續繼 monad。