Lifted Logic UTB2