modify verify because we don't need N to be passed in as a parameter