k[a] will always be zero here