more logics