 Following the instructions in the corresponding section  (§3.4  or  §3.5),  we define a syntactical translation from SOL to \(\MSL^{\SOL}\) as well as two conversions of structures, direct and reverse.