Correct definition