notational changes