sto esaminando alcune note che ho preso nel corso cmput 609 di Rich Sutton