Reformulate the intro a bit