P
Initializing...
Logarithmic growth of the translation term count is sublinear · Prove2Me