Study Notes 15.2 Restate problems using symbols and/or models_Class1