More formal translation