(define (RC R C dt)
  (define (f i v0)
    (add-streams (scale-stream i R)
                 (scale-stream (integral i v0 dt) (/ 1 C))))
  f)