https://www.studyebooks.com/2021/11/symbolic-logiccarroll.html