Mixing time (12/27)

Mixing time