Assertion: smart card's certificate | /r/HasProperty | deleted
Facets:
Source sentences:
text: Certificates and private keys are deleted, the PIN, PUK, Management Key, and all configuration options are returned to their default values.