Lifted Logic h