Ti: Po, > do: xU; byE: >

do: xU; byE: