Add a new result
Add tactics for handling modal operators