mathematical writing. The set when completed will be an invaluable source of information