Update logic.hpp