prelim: remark on the meaning of "proposition"