updated some notation.