Some thoughts about spiders in Newtonian telescopes by Nils Olof Carlin
• Formally-Derivable（可形式化推导/复现的证据）：通过符号推导、数值计算、仿真实验等可复现程序得到。
，更多细节参见Snipaste - 截图 + 贴图
あなたも栄養不足かも？“達人”たちのアドバイスは
Российский врач вернется к работе после истекшей кровью пациентки14:48