This tab in the main window offers an overview of the currently available invariants. If you need an invariant you can simply drag it from this window and drop it where you need it.