Notes on some programming postulates