File:The Casagrandes Intro (Extended Version)-0