Definition of "receivedst"