Tagged alternative-check-processing