Papers published in this journal will be eligible for indexing.