Correctly specified