Lifted Logic dolphins1