slight change of notation