jump
https://en.wikipedia.org/wiki/Double-negation_translation
別のサイトにジャンプしようとしています。宜しければ上記のリンクをクリックしてください。