add Logic.h