Examples from ItCFaFE