Step 2: name the things I want to exist in test

Note the three test cases map to the three logical branches
present in the pseudocode comment, too. Everything is now
accounted for and everything from here on out is 
paint-by-number. If anything is hard AFTER this point, it's
because I'll have forgotten about how to satisfy a method
contract or decide I dislike something about the types being
passed around

test/unit/verify/index.test.js

@@ -0,0 +1,19 @@
+let subject, ensureDemonstration, didCallOccur, notifySatisfiedMatchers, 
+    warnIfAlsoStubbed, fail
+module.exports = {
+  beforeEach: () => {
+    ensureDemonstration = td.replace('../../../src/verify/ensure-demonstration').default
+    didCallOccur = td.replace('../../../src/verify/did-call-occur').default
+    notifySatisfiedMatchers = td.replace('../../../src/verify/notify-satisfied-matchers').default
+    warnIfAlsoStubbed = td.replace('../../../src/verify/warn-if-also-stubbed').default
+    fail = td.replace('../../../src/verify/fail').default
+    subject = require('../../../src/verify/index').default
+  },
+  'verified to have occurred as configured': () => {
+  },
+  'demonstrated call DID NOT occur, failing test': () => {
+  },
+  'demonstration missing blows up': () => {
+  }
+
+}