Re: policy change: static verification methods