MichaelVassar comments on Making your explicit reasoning trustworthy