I1: Multiple Formalism and non preservation of the semantic
(
)