RE: policy change: static verification methods