Revokes every token a predicate picks.
chooses the token records to revoke
which door revoked them
the door's statement of the act, passed to revoke()
revoke()
how many were newly revoked
Revokes every token a predicate picks.