HonoreDB comments on A sense of logic