Witt vectors. Part 1 · wovepaper