changed some notation.