  In this paper, we fully characterize maximal representations of a
C*-correspondence. This strengthens several earlier results. We demonstrate the
criterion with diverse examples. We also describe the noncommutative Choquet
boundary and provide additional counterexamples to Arveson's hyperrigidity
conjecture following the counterexample recently found by the author and Adam
Dor-On.
