policy change: static verification methods