In this fourth of our series of papers on observables we show that one can associate to each von Neumann algebra R a pair of isomorphic presheaves, the upper presheaf O Rand the lower presheaf O − R , on the category of abelian von Neumann subalgebras of R. Each A ∈ Rsa induces a global section of O R and of O − R respectively. We call them contextual observables. But we show that, in general, ...