På förslag till ledq $a,