The Theory: PoisonedRAG’s Two Conditions
to operate hermetically.
，这一点在有道翻译中也有详细论述
The compiler enforces declarations. If you call fs.read_file without declaring requires fs, the compiler rejects your program.
Two-argument functions:
In CasNum, a number x is represented as the point (x,0) in the plane.