asserts in auxiliaryAlgorithm.php