First demo + trivial formatting.