affirm some basic assumptions wrt real/imag/complex