  This article shows that for unitary dual reductive pairs the first occurrence
of theta lift of an irreducible cuspidal automorphic representation is
irreducible. It also proves a refined tower property for theta lifts and the
involutive property for twisted theta lifts.
