Lifted Logic Trade Up