Impracticality due to large constants is a separate issue from solvability-in-principle; conflating ...
This proposition has not been edited since the history system was added.