Vladimir Lemport doesn't have any credits.