Mixing time (5/27)

Mixing time