Text this: Adequacy of nonsingular matrices over commutative principal ideal domains