Text this: Mechanism design : from partial to probabilistic verification

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