initial commit -- applicative actions only support positive preconditions