agda bättre $ Aflaadabättre