Added formal translations