See Validated_intf for documentation.