On Tuesday, October 25, 2011 09:22:59 Gor Gyolchanyan wrote: > Invariant is supposed to be pure, IMO. If you want it to be pure, you mark it with pure. It doesn't have to be, and it's too restrictive to require that it always is - though obviously it would ideally be pure. - Jonathan M Davis