into logics