backtracking complete. inequality fns for activity class.