Add specification
Add not, and and or specifications