revocation

Independently evaluated revocation fact.