Changed generate to verify