Mixing time (4/27)

Mixing time