Completed v1 of demo version of paper.