Rename NOT to NOT.h