  The EPR correlation matrix admit a Hilbert model if it can be extended to a
positive full correlation matrix. A simple proof of the corresponding Tsirelson
bound is given and the relations to PR boxes and indefinite inner product
spaces are briefly discussed.
