P : x T. li : x x -elif