Clarify that interpreter need only handle correct programs.