Delete dicotomic.h