» Agda * 1fr.