Correct notation