7 logics