Syntax independence: The denotations of programs should not involve the syntax of the source language.
Ανεξαρτησία από τη σύνταξη: Οι δηλώσεις των προγραμμάτων δε θα έπρεπε να περιλαμβάνουν τη σύνταξη της αρχικής γλώσσας.