active semantics: start writing about seq. comp. and equiv. classes under translation