Strange7 comments on Making your explicit reasoning trustworthy