Correct langage notation