A Finite Dimensional Counterexample for Arveson's Hyperrigidity Conjecture

We construct an operator system generated by $4$ operators that is not hyperrigid, although all restrictions of irreducible representations have the unique extension property.