Declared initial condition