States, models and unitary equivalence I: Representation theorems and analogical reasoning · Study