Conditions for certified translation