Rewrite double negation
Rewrite double negation

Now it doesn't sound like it's a feature of Hoon that simple symbol
tables hard to build.

juped/archaeology-cutoff,juped/archaeology-cutoff,juped/archaeology-cutoff,juped/archaeology-cutoff,juped/archaeology-cutoff,juped/archaeology-cutoff,juped/archaeology-cutoff,juped/archaeology-cutoff,juped/archaeology-cutoff,juped/archaeology-cutoff