backing up a step, are you solving the global - weaker - check problem, or the check for a given run problem?