New reasons for biologists to write with a formal language. (3rd June 2022)