Revert "Yet another demo."

This reverts commit b84d7bd72cdc7412a78047a797091b8cba07b36a.