A disk rolls without slipping across a horizontal plane. The plane of the disk remains vertical, but it is free to rotate about a vertical axis. What generalized coordinates may be used to describe the motion? Write a differential equation describing the rolling constraint. Is this equation integrable? Justify your answer by a physical argument. Is the constraint holonomic?