new version of slides for friday for phil 50, added derivability notion
as last slide