Made notational changes