- new view of semantics

- regarding suppes' set-theoretic predicates

- practical applications of semantic immuration

- rebranding some ideas

- inner semantics, semantically-closed languages, category theory

- new semantical system