Partition: Checklist
p
p
0
p
x < p
p <= x
p
x < p
p <= x
p
x < p
p <= x
