Keyword: ring of Witt vectors