shortening and changing notation