in their formal technical documents