Added simple negation and modality