"Unfortunately, most existing programming languages treat software as an isolated, closed-world formal system."
–ULS Report, page 89