I had to laugh when I saw
this over on CS.SE. Who knew that Google filed (and were granted!) a patent on a well-known concept that Roman Maeder had implemented in
Mathematica a decade previously... talk about prior art! WRI should give up on small beer like pentagons vs. heptagons and sue Google for the rights to this patent!