[Y7H8M] Municipal revenue bonds may be paid off with all of th...