A Program-Function uses a List of Program-Statements to transform Program-Parameters into Program-Output.