Lifted Logic B1