If h is a reducer and T is a strand, we may denote by hT the view of h owned by T. In one embodiment, a hyperpointer may behave syntactically like a pointer to an object of type M, and dereferencing a hyperpointer in a strand may return a reference to the view owned by the strand.