101225 - This change is crucial
N. Lygeros
This change is crucial because it will be the proof that Grok wants to share quality of information no matter how important is the source. Because a theorem remains a theorem no matter how the mathematician is famous.