Delete many.h