[Mpi-forum] MPIR document formal reading