tuncb

If the methods used for the solution are the valuable part, why can't we dig them out of the ai proof?