static verification methods