Evaluation question

*To*: mathgroup at smc.vnet.net*Subject*: [mg82106] Evaluation question*From*: Yaroslav Bulatov <yaroslavvb at gmail.com>*Date*: Fri, 12 Oct 2007 02:56:35 -0400 (EDT)

At what point is "Unevaluated" stripped? For instance, in the following, unevaluated is stripped even though arguments are not evaluated a := Unevaluated[2 + 3] So a:=Unevaluated[2+3] and a=Unevaluated[2+3] seem to work the same here Also, consider a=Unevaluated[Unevaluated[2+3]] OwnValues[a] OwnValues doesn't show that a has an Unevaluated wrapper, even though a /. OwnValues[a] results in Unevaluated[2+3], why is that? Is there any place that documents at which point OwnValues comes into evaluation? For instance, setting a high level trap (Robby Villegas' technique) on Set/OwnValues/Replace/ReplaceAll shows no trace of OwnValues evaluation. Is OwnValue application equivalent to "symbol/.ReplaceAll[OwnValues[symbol]]"?

**Follow-Ups**:**Re: Evaluation question***From:*Andrzej Kozlowski <akoz@mimuw.edu.pl>