6.2 Correspondence between intensional readings and extensional references