lɐ sələksjˈo ðə pɾʊpjətˈats pʊzitˈiβəs es ɐrβitɾˈaɾiɐ əɡzsˈɛpːtə kˈɛ ləɡzistˈɛnsiɐ səɣˈuɾɐ a ðə sˈɛ pʊzitˈiβɐ i ɟˈe ˈiks kˈal kˈɛ sˈidʑi pʊzitˈiβɐ ɐ ɐlɣˈunəs ʋərsjˈons.
La selecció de propietats positives és arbitrària excepte que l'existència (segura) ha de ser positiva (i G(x) cal que sigui positiva a algunes versions).