make pinnable; shorten predicate names to minimal version