He also maintained a substitutivity principle for 'logically proper names' in belief and other attitudinal contexts, so that for him belief contexts were as 'transparent,' in any philosophically decent sense, as truth functional contexts.