Rework notation