My question is pretty easy (i think). I have a wavefcn PSI defined at t=0. The PSI is a mix of several eigenstates. Lets say PHI(x,0)=C1phi1 + C2 phi3. Now C1 and C2 are given to me, so im wondering is this wavefcn. already normalized, or do i have to normalize it despite definite C1 and C2 already being given?