sixes_and_sevens comments on Making your explicit reasoning trustworthy