Added NOT and improved docs