A language which attempts to take single-assignment to the logical extreme [BSD license]