Proof mocks