Lifted Logic 3/4