Mixing time (10/27)

Mixing time