Predicates

Which is more important for 'completeness'? (Saves after each vote, so quit at any time)

or