² For further information about these languages, you might look into my unfinished page on single-assignment languages.