← All of Jon’s Field Notes

A verification system inherits the blind spots of whoever designs it.