Delete other.h