Lifted Logic Draft,1