ZETT
Socrates’ method
what input matches what output?
is that the only matching pair?