Cooperative Proves