Unavailability During Proof Tests: What Do You Do?

“…there’s a cat in a box somewhere who’s alive and dead at the same time (although if they don’t ever open the box to feed it, it’ll eventually just be two different kinds of dead)…”  — Neil Gaiman, in American Gods Erwin Schrödinger never intended his thought experiment about a cat in box to launch [...]