back - predicate, dslquery, specification