Correspondence between Edward Feigenbaum and Mark Gelfand concerning TROLL and MAINSAIL