Text this: Is it vacuous to check redundancy, or is it redundant to check vacuity?