för t0 och S » proc.