formatting, and add note about not-operator