[user] name = Nathan Weizenbaum