InMemory proof working