Updated CheckerAux