Definition a := 1.