My workhorse test procedures are now expressible in terms of the CAREFUL series of invariant-checking procedures.
My workhorse test procedures are now expressible in terms of the
CAREFUL series of invariant-checking procedures.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language