Contents of peano_new/predicate/