[LoganDark]

> A proof for something as large as webP might take decades.

Assuming that it is even provable in the first place.