sentences:  In reality, codice_16 takes the two-parameter function codice_17, applies it to codice_18 obtaining a single-parameter function that adds four to its argument, then applies that to codice_19.Any function taking two parameters can be turned into an infix operator (for example, given the definition of the codice_17 function above, the term codice_21 is in every way equivalent to the codice_22 operator) and every infix operator taking two parameters can be turned into a corresponding function.Thus