remove assertions.txt; bump # of concepts