([Z[Z[Z[Z)