What ``proved here'' means

There are three distinct evidentiary roles:

A supplied source may motivate a definition without supplying a verified hypothesis for an application. Standard background facts about finite-dimensional channels and operator algebras are identified where used Watrous,Pedersen.

No theorem below assumes the universal Family 280 conclusion. A use of an actual conformal net is conditional on that net being independently supplied with the named representation and maps.