Added NOT, updated docs