Lifted Logic Vol.$