Fixed <_s definition. It was backwards, meaning that x <_s y meant x had less inversions than y, when in Friedgut, it means x has more inversions than y.