Added negation theorems .