krasner reference added