Text this: Mechanism design : from partial to probabilistic verification

  _  __   __   __    ______    _____    __   _   
 | |/ //  \ \\/ //  /_   _//  |  ___|| | || | || 
 | ' //    \ ` //     | ||    | ||__   | '--' || 
 | . \\     | ||     _| ||    | ||__   | .--. || 
 |_|\_\\    |_||    /__//     |_____|| |_|| |_|| 
 `-` --`    `-`'    `--`      `-----`  `-`  `-`