..and @jvazquez-r7 correctly pointed out to me that aux modules don't get a `check()`. That seems silly.