#2 Double Denial Clause

[Moshe Bar]

The double denial is currently rather cumbersome. There
should be an elegant double denial clause (also called
the Bill Clinton assertion).

Instead of " if not not 1", you should be able to write
"certainly not 1, but "

Thanks

A user