Comment by mshumi

To encode NOT something takes one more bit than encoding something.