Lifted Logic New1