New: logics