"

Kaksi kommenttia tästä:
 Berry ei määrittele, mikä Boolen koodaus sinun pitäisi valita, vaan ainoastaan sen, että yksi koodaus on oletettava etukäteen, mikä on täysin reilua, koska muuten et koskaan tietäisi, mikä olisi true ja mikä false. Korkeamman tyypin (mitä se sitten tyypittämättömässä lambda-laskennassa olisikin) teoreema kattaa.
 On ero (a) rinnakkaisen suorituksen, joka on olemassa lambdalaskennalle rinnakkaisten reduktioiden, jakograafien jne. muodossa, ja (b) todellisen rinnakkaisohjelman välillä, josta POR on malliesimerkki: aloita vain molempien argumenttien arviointi ja kun toinen lopulta evaluoituu ja redusoituu ""totuudeksi"", meidän ei tarvitse arvioida toista argumenttia enempää, ennen kuin siirrymme ""ohjelmamme"" seuraavaan osaan; Berryn teoreema osoittaa, että tämä ""meidän ei tarvitse arvioida toista argumenttia enempää"" on mahdoton. Valitettavasti ""rinnakkaisuuden"" yleisin lukutapa on (b), ja mikä pahinta, monet ihmiset olettavat, että ""rinnakkaisuus"" on rinnakkaisuuden synonyymi.  "