logic.h