Here’s the deal with software: there’s a fuzzy line between good software that doesn’t check for properties and software that does. I need to figure out exactly what I want here, but for the meantime, writing good software suffices/scratches that itch.