Update logic.h