When a 20% executive pay cut isn’t as painful as people might think