Added spectrum iteration (now can infer Z)