TAG

construct validity