State guards using _not_ to simplify permission definitions where protocol has many states

Noumena Protocol Language
1

Is there a way to negate which states are valid on a permission? like

permission[me] p() | !FINISHED

2

I also would like to do this, but I believe it’s not currently possible.

3

There is not. But you could check immediately after:

permission[me] p() {
    require(
        currentState() != States.FINISHED,
        "great message goes here"
    );
}
4

Then I don’t get the nice warnings about stuff I shouldn’t be doing in the IDE