CS21Maggi0_def.pdf