Agda ; hwilket rop och strit!