logics.h added