Retyped a bit of intro