Re: self-modifying abstractions