AIntroductoryProblems: translation of property