(TXT) Notes on some programming postulates