To the proof store.
Very interesting practice you must've run. No need for tests.  No need for proof. Where are you going?
[SEP] Very interesting practice you must've run. No need for tests.  No need for proof. Where are you going? [SEP] To the proof store.