notation: edited