Tag: the proofs of simulation theory