problem logics