Mixing time (17/27)

Mixing time