predicate
isSealed
(
)