Stratified negation