(Note to readers: @JordanHatch did this in #17.)