rb db verify; inst db verify;