Some further work trying to generalize certification. inconclusive.