Left Control = True

Homotopy type theoryW
Homotopy type theory