A Functional Programming language that has: Referential Transparency Logical Variables No Side Effects