Definition a := 0.