Lifted Logic H