added RealVector