Remove unnecessary abstractions from intro.