Analytic regions, and justificatory, countermap