Before revision:   The protocol is strategyproof for both MA and MP in the sense that they cannot benefit from strategic behavior .
After revision:  The protocol is verifiable for both MA and MP in the sense that they cannot benefit from strategic behavior .