Iris and Abstractions