Updated verification functions... no test