experimenting with fibrant predicate