Peter_Lambert-Cole comments on Making your explicit reasoning trustworthy