checkIfSatisfied() in progress (new function)