Text this: Weak monotonicity characterizes deterministic dominant-strategy implementation

  _  __     ___      ____       ___     _    _   
 | |/ //   / _ \\   |  _ \\    / _ \\  | \  / || 
 | ' //   | / \ ||  | |_| ||  / //\ \\ |  \/  || 
 | . \\   | \_/ ||  | .  //  |  ___  ||| .  . || 
 |_|\_\\   \___//   |_|\_\\  |_||  |_|||_|\/|_|| 
 `-` --`   `---`    `-` --`  `-`   `-` `-`  `-`