spec: define Z as complex not Z