Delete 3.5.c~