new list predicates
reuse .o when done