fixing some proof dependencies.