In other words, a token which is guaranteed to exist forever, unless it gets garbage-collected!
{
val isPerpetual = {(b: Box) =>
b.propositionBytes == SELF.propositionBytes && b.tokens == SELF.tokens
}
sigmaProp(OUTPUTS.exists(isPerpetual))
}
(Actually, this is a perpetual collection of tokens (possibly of size zero). But if you protect a singleton token with this script, then it guarantees the token will never be destroyed other than by garbage collection.)