predicate

Claimable if predicate is true