https://www.ponkablog.com/2021/01/twisted-liberal-logic/