Title: dialectical logic