156	 An Introductory Problem in Symbol Manipulation for the Student
