Post #1823390

@lindsey hmm maybe it's that I don't know enough about the context, but my intuition is that "safe" doesn't inherently entail "useful". it seems like the "non-triviality" you want should fall under its own separate property, maybe something we might call correctness or completeness. also, if you're discussing a class of algorithms that captures information about an arbitrary system...well what about the case where the underlying system is trivial? do we want definitions that allow for that?