A valid MPI implementation guarantees certain general properties of point-to-point communication, which are described in this section.