Lifted Logic UTB1