Correct interpreter