add some more assumptions to the verify role