The comical history of the king and the cobbler