Z[[[[],]]