@ThomasEWoolley are you aware of the patent and mathematical formality controversies to do with the Gömböc?