Text this: Weak monotonicity characterizes deterministic dominant-strategy implementation

 _    _    _    _     ____     __   __            
| || | || | || | ||  |  _ \\   \ \\/ //   ____    
| || | || | || | ||  | |_| ||   \ ` //   |    \\  
| \\_/ || | \\_/ ||  | .  //     | ||    | [] ||  
 \____//   \____//   |_|\_\\     |_||    |  __//  
  `---`     `---`    `-` --`     `-`'    |_|`-`   
                                         `-`