File:RJVernel Intro