The argument is "the output that we're seeing is expected given the input". So you walk the chain back until inputs and outputs diverge, at which point the argument can no longer justify it.