5.3 Auxiliary Function Check