Traduisible1 is following