PL translation for Getting Started part 1