Marti and Venema already establish that the Moss liftings
are separating [1]}; we show that they are
even strongly expressive:

The set \(\Lambda  \)  of all Moss liftings of \(T\)  is strongly
expressive.
