predicate animation